ECPP verification: floor(2*sqrt(n)) instead of 2*floor(sqrt(n))
Speedup for random_nbit_prime