fix 64 bit random number generator