c_len             937 maint/gnulib/lib/vasnprintf.c   size_t c_len = 9 * ((size_t)(a_len * (GMP_LIMB_BITS * 0.03345f)) + 1);
c_len             940 maint/gnulib/lib/vasnprintf.c   char *c_ptr = (char *) malloc (xsum (xsum (extra_zeroes, c_len), 1));