DBL_MANT_BIT      133 gnulib-tests/float+.h #define DBL_TOTAL_BIT ((DBL_MANT_BIT - 1) + DBL_EXP_BIT + 1)
DBL_MANT_BIT      970 gnulib-tests/vasnprintf.c   m.nlimbs = (DBL_MANT_BIT + GMP_LIMB_BITS - 1) / GMP_LIMB_BITS;
DBL_MANT_BIT      985 gnulib-tests/vasnprintf.c #  if (DBL_MANT_BIT % GMP_LIMB_BITS) != 0
DBL_MANT_BIT      986 gnulib-tests/vasnprintf.c #   if (DBL_MANT_BIT % GMP_LIMB_BITS) > GMP_LIMB_BITS / 2
DBL_MANT_BIT      989 gnulib-tests/vasnprintf.c       y *= (mp_limb_t) 1 << (DBL_MANT_BIT % (GMP_LIMB_BITS / 2));
DBL_MANT_BIT      999 gnulib-tests/vasnprintf.c       m.limbs[DBL_MANT_BIT / GMP_LIMB_BITS] = (hi << (GMP_LIMB_BITS / 2)) | lo;
DBL_MANT_BIT     1004 gnulib-tests/vasnprintf.c       y *= (mp_limb_t) 1 << (DBL_MANT_BIT % GMP_LIMB_BITS);
DBL_MANT_BIT     1009 gnulib-tests/vasnprintf.c       m.limbs[DBL_MANT_BIT / GMP_LIMB_BITS] = d;
DBL_MANT_BIT     1013 gnulib-tests/vasnprintf.c   for (i = DBL_MANT_BIT / GMP_LIMB_BITS; i > 0; )
DBL_MANT_BIT     1034 gnulib-tests/vasnprintf.c   *ep = exp - DBL_MANT_BIT;