float64_le
flag float64_le( float64 a, float64 b )
#define float64_le __ledf2
#define float64_le __softfloat_float64_le