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) {