version 1/080522 by Mikael Segercrantz
Chapter: Seeding the PRNG
To seed the pseudorandom number generator created by the Randomness extension, you can use the following phrases:
seed the random number generator (name of generator) with (the seed value).
set the multiplier of (name of generator) to (the multiplier value).
set the adder of (name of generator) to (the adder value).
It is highly recommended that the multiplier be a prime number; the same can be said of the adder, although the extension does not require this.