EXP_LN2_HI

const double EXP_LN2_HI = 6.93147180369123816490e-01;