NextPrime[2^31,-1]