nextprime(10^20)