Change the generation of random numbers