float64_lt
int AEABI_FUNC2(dcmplt, float64, float64_lt)
int AEABI_FUNC2_REV(dcmpgt, float64, float64_lt)
int float64_lt( float64, float64 );
int float64_lt( float64, float64 );
int float64_lt( float64, float64 );
int float64_lt( float64, float64 );
return float64_lt(b, a);
return -float64_lt(a, b);
!!!flag float64_lt( float64, float64 );
time_ab_float64_z_flag( float64_lt );