America writes a random number generator.