Really? The RNG doesn't choose a new number each time its needed? Instead it repeats the same series of random numbers even after an undo?
That's right.
Undo would be insufferable if that wasn't the case.
Yeah I guess that makes sense. It seems like a surprising way to implement RNG; but I can see that if you want to allow unlimited undo, then you basically have to do it that way.