A Practical Guide to Casino Random Number Generators