Gmp.mpz random(int top)
Returns a Gmp.mpz object with a random value between 0 and top . Uses random_string .
0