Adds random number generation for BigInts from GMP