SimpleRNG.nonNegativeInt