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 */