random: make get_random_int() more random