Use 32-bit rand for parts that use rand_between()