__negtf2
long double __negtf2(long double);
float128 __negtf2(float128);
#define float128_neg __negtf2