add user functions for random number generation via GMP