This is a generator of random numbers.