srand48() and drand48() for Windows
port to Windows