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);