Set the seed of the random number generator to the given number.