float64_lt
return float64_lt(b, a);
return -float64_lt(a, b);
int float64_lt( float64, float64 ) __dso_protected;
time_ab_float64_z_flag( float64_lt );
return CMP_RESULT(float64_lt(a, b));
else if (float64_lt(s1->dbl, s2->dbl))
else if (float64_lt(f64a, f64b))
int float64_lt( float64, float64 );