float64_le
return float64_le(b, a) - 1;
return 1 - float64_le(a, b);
int float64_le( float64, float64 ) __dso_protected;
time_ab_float64_z_flag( float64_le );
return CMP_RESULT(float64_le(a, b));
int float64_le( float64, float64 );