SimpleRNG.int