Improved speed of Random::_get_rand_int()