Added a pseudo-random number generator.

[Delivers #55613446]