Title:
rngextra
See
Random number generation
.