Better, faster random-number generation in Java.