Random number generator.