v0.9: The seed passed to $random() should not change the implicit seed.