A simple random number generator.