__ldexp_exp
return __ldexp_exp(fabs(x), -1);
return h*2.0*__ldexp_exp(fabs(x), -1);
double __ldexp_exp(double,int);