fixup            1954 src/number.c           int mp2 = FALSE, fixup = FALSE;
fixup            2001 src/number.c               fixup = TRUE;
fixup            2005 src/number.c                   fixup = (numcmp3(r, mp, s) >= 0);
fixup            2007 src/number.c                   fixup = (numcmp3(r, mp, s) > 0);
fixup            2010 src/number.c           if (fixup) {