Allow user to specify random number generator