floatx80_lt
if (floatx80_lt(rFn, rFm))
if (floatx80_lt(rFm, rFn))
char floatx80_lt( floatx80, floatx80 );