A simple random number generator