Random number generation

Random numbers are generated using the Mersenne Twister.