float128_le
int float128_le( float128, float128 );
int float128_le( float128, float128 );
int float128_le( float128, float128 );
int float128_le( float128, float128 );
return float128_le(b, a) - 1;
return 1 - float128_le(a, b);
!!!flag float128_le( float128, float128 );
time_ab_float128_z_flag( float128_le );