Finally we have a simple way to get machines to generate a truly random number