PrimePi[2^32]