nextprime(1e50)