Change seed functions to give the same random numbers on 64 and 32 bit machines.