Change random number generator.