DBL_MANT_BIT       28 maint/gnulib/lib/float+.h # define DBL_MANT_BIT DBL_MANT_DIG
DBL_MANT_BIT       32 maint/gnulib/lib/float+.h # define DBL_MANT_BIT (DBL_MANT_DIG * 2)
DBL_MANT_BIT       36 maint/gnulib/lib/float+.h # define DBL_MANT_BIT (DBL_MANT_DIG * 4)