numcmp3          2005 src/number.c                   fixup = (numcmp3(r, mp, s) >= 0);
numcmp3          2007 src/number.c                   fixup = (numcmp3(r, mp, s) > 0);
numcmp3          2047 src/number.c                   tc2 = (numcmp3(r, mp, s) >= 0);
numcmp3          2050 src/number.c                   tc2 = (numcmp3(r, mp, s) > 0);
numcmp3          2066 src/number.c                       tc3 = numcmp3(r, r, s); /* r*2 <=> s */