float128_lt
flag float128_lt( float128, float128 );
int float128_lt( float128, float128 );
flag float128_lt( float128, float128 );
int float128_lt( float128, float128 );
flag float128_lt( float128, float128 );
flag float128_lt( float128, float128 );
flag float128_lt( float128, float128 );
return float128_lt(*b, *a);
return float128_lt(*a, *b);
flag float128_lt( float128, float128 );
return float128_lt(b, a);
return -float128_lt(a, b);
!!!flag float128_lt( float128, float128 );
time_ab_float128_z_flag( float128_lt );
int float128_lt( float128, float128 );
test_ab_float128_z_flag( float128_lt, syst_float128_lt );
int float128_lt( float128, float128 );