floatx80_lt
int floatx80_lt( floatx80, floatx80 );
int floatx80_lt( floatx80, floatx80 );
int floatx80_lt( floatx80, floatx80 );
int floatx80_lt( floatx80, floatx80 );
return floatx80_lt(b, a);
!!!flag floatx80_lt( floatx80, floatx80 );
time_ab_floatx80_z_flag( floatx80_lt );