Added nonNegativeInt to RNG