Pseudo random number generator.