Faster and better random number generation