Implements #16.  Null random seed.  If the seed is null, don't use it.