Issue 9816:  Random.jumpahead(n) didn't work well for small values of n.
3 files changed