float64_le
flag float64_le( float64, float64 );
return !float64_le(a, b) && float64_eq(a, a) && float64_eq(b, b);
return float64_le(a, b);
int float64_le( float64, float64 );
flag float64_le( float64, float64 );
int float64_le( float64, float64 );
flag float64_le( float64, float64 );
flag float64_le( float64, float64 );
flag float64_le( float64, float64 );
flag 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 );
int float64_le( float64, float64 );
test_ab_float64_z_flag( float64_le, syst_float64_le );
int float64_le( float64, float64 );