Improvement to the int RNG in Util.