rand_win.c: handle GetTickCount wrap-around.