float64_le
int AEABI_FUNC2(dcmple, float64, float64_le)
int AEABI_FUNC2_REV(dcmpge, float64, float64_le)
int float64_le( float64, float64 );
int float64_le( float64, float64 );
int float64_le( float64, float64 );
int float64_le( float64, float64 );
return float64_le(b, a) - 1;
return 1 - float64_le(a, b);
!!!flag float64_le( float64, float64 );
time_ab_float64_z_flag( float64_le );