(28 . 9)(28 . 7)
      -- Supposing we meet the minimal bitness:
      if B >= FZ_Minimal_Bitness then
         while T > 0 loop
            if T mod 2 = 1 then
               PopCount := PopCount + 1;
            end if;
            PopCount := PopCount + T mod 2;
            T := T / 2;
         end loop;