Notes about random number seeding.