Add setting of seed for random number generator