float32_le
return float32_le(b, a) - 1;
return 1 - float32_le(a, b);
int float32_le( float32, float32 ) __dso_protected;
time_ab_float32_z_flag( float32_le );
int float32_le( float32, float32 );