Added a better PRNG.