fixes Issue #22, proper seeding for domains' rngs