random seeds are now 64 bits