moved to 64 bit random number generator