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