GMP_DBL_MANT_BITS   80 lib/mini-gmp.c #define GMP_DBL_MANT_BITS DBL_MANT_DIG
GMP_DBL_MANT_BITS   82 lib/mini-gmp.c #define GMP_DBL_MANT_BITS (53)