allow use of a custom random number generator