float128_le
flag float128_le( float128 a, float128 b )
#define float128_le __letf2
#define float128_le __softfloat_float128_le