float32_lt
return float32_lt(b, a);
return -float32_lt(a, b);
int float32_lt( float32, float32 ) __dso_protected;
time_ab_float32_z_flag( float32_lt );
else if (float32_lt(s1->sng, s2->sng))
else if (float32_lt(f32a, f32b))
int float32_lt( float32, float32 );