Better random number generation, I think.