Patched random generator on 64-bit