dexpt2_minus_52  1860 src/number.c   static double dexpt2_minus_52  = 0.0;  /* 2.0^-52 */
dexpt2_minus_52  2731 src/number.c       dexpt2_minus_52 = ldexp(1.0, -52);