floatx80_le
int floatx80_le( floatx80, floatx80 );
int floatx80_le( floatx80, floatx80 );
int floatx80_le( floatx80, floatx80 );
int floatx80_le( floatx80, floatx80 );
return floatx80_le(b, a) - 1;
!!!flag floatx80_le( floatx80, floatx80 );
time_ab_floatx80_z_flag( floatx80_le );