@caitp,  after writing tests for the above fix.  I discovered this bug in the existing implementation of the handling of `pattern.maxFrac` that causes rounding numbers down to zero to fail.