Switch to Alea for PRNG