Switch to a 64-bit random number seed.