We currently use seeded random numbers only if the user provides a seed; there's no reason we couldn't do this every time.
We currently use seeded random numbers only if the user provides a seed; there's no reason we couldn't do this every time.