made it easier to switch between different random number generators