[hinkley]

It’s been a long long time. I may be remembering the ratio wrong, or we might have been clipping the range a bit.

[Dylan16807]

> or we might have been clipping the range a bit

Well it's a pretty abrupt change. 53 bits work fine, at 54 bits a quarter of numbers get truncated, at 55 it's half.