Initialise random-number generator.