NextPrime[2^127]