Fix test prng: 32-bit int overflow