Use 64 bit MT random generator (for p<2e-31)