Random number generation tools.