Better random number generation.