64-bit srandom()?