A random number generator for lotteries and other games