dexpt2_minus_53  1861 src/number.c   static double dexpt2_minus_53  = 0.0;  /* 2.0^-53 */
dexpt2_minus_53  2732 src/number.c       dexpt2_minus_53 = ldexp(1.0, -53);