8000
Philox4x32-10 random number generator
Implementation of the Philox4x32-10 random number generator.