Important Details About Casino Random Number Generators