Though time-related, this is really just for initialized the PRNG. I think it belongs more in util.