Add seeded PRNG