GMP_DBL_MANT_BITS   79 maint/gnulib/lib/mini-gmp.c #define GMP_DBL_MANT_BITS DBL_MANT_DIG
GMP_DBL_MANT_BITS   81 maint/gnulib/lib/mini-gmp.c #define GMP_DBL_MANT_BITS (53)