Random number generators: good ones are hard to find | Synapse