On Thu, Jul 20, 2017 at 6:23 PM, John Cowan <xxxxxx@ccil.org> wrote:
It's an obvious brain fart / cut and paste error: for "not larger than" read "to".

With John's approval, I've fixed this and published it as an erratum.

Here's the diff.

This goes to show that Alex was right: two days wasn't enough time between bringing up the flround issue and finalizing.  That was my fault.  I will wait longer in the future.

Thanks, everyone.