Cleaner Random.get_int()