Re: should the default be lower bounds or upper bounds? Peter McGoron 12 Apr 2026 16:09 UTC

Yours is correct, I calculated mine by hand and had some off-by-one errors.

-- Peter McGoron