add a missed rand_range conversion in rand32()