mp_twolimb_t      333 gnulib-tests/vasnprintf.c verify (sizeof (mp_twolimb_t) * CHAR_BIT == GMP_TWOLIMB_BITS);
mp_twolimb_t      390 gnulib-tests/vasnprintf.c           mp_twolimb_t carry = 0;
mp_twolimb_t      394 gnulib-tests/vasnprintf.c               carry += (mp_twolimb_t) digit1 * (mp_twolimb_t) digit2;
mp_twolimb_t      530 gnulib-tests/vasnprintf.c             mp_twolimb_t num =
mp_twolimb_t      531 gnulib-tests/vasnprintf.c               ((mp_twolimb_t) remainder << GMP_LIMB_BITS) | *--sourceptr;
mp_twolimb_t      598 gnulib-tests/vasnprintf.c             mp_twolimb_t accu = 0;
mp_twolimb_t      602 gnulib-tests/vasnprintf.c                 accu += (mp_twolimb_t) *sourceptr++ << s;
mp_twolimb_t      626 gnulib-tests/vasnprintf.c           mp_twolimb_t accu = 0;
mp_twolimb_t      630 gnulib-tests/vasnprintf.c               accu += (mp_twolimb_t) *sourceptr++ << s;
mp_twolimb_t      642 gnulib-tests/vasnprintf.c         mp_twolimb_t b_msdd = /* b[n-1]*beta+b[n-2] */
mp_twolimb_t      643 gnulib-tests/vasnprintf.c           ((mp_twolimb_t) b_msd << GMP_LIMB_BITS) | b_2msd;
mp_twolimb_t      653 gnulib-tests/vasnprintf.c                 mp_twolimb_t num =
mp_twolimb_t      654 gnulib-tests/vasnprintf.c                   ((mp_twolimb_t) r_ptr[j + b_len] << GMP_LIMB_BITS)
mp_twolimb_t      680 gnulib-tests/vasnprintf.c               mp_twolimb_t c2 = /* c1*beta+r[j+n-2] */
mp_twolimb_t      681 gnulib-tests/vasnprintf.c                 ((mp_twolimb_t) c1 << GMP_LIMB_BITS) | r_ptr[j + b_len - 2];
mp_twolimb_t      682 gnulib-tests/vasnprintf.c               mp_twolimb_t c3 = /* b[n-2] * q* */
mp_twolimb_t      683 gnulib-tests/vasnprintf.c                 (mp_twolimb_t) b_2msd * (mp_twolimb_t) q_star;
mp_twolimb_t      703 gnulib-tests/vasnprintf.c                   mp_twolimb_t carry = 0;
mp_twolimb_t      710 gnulib-tests/vasnprintf.c                         + (mp_twolimb_t) q_star * (mp_twolimb_t) *sourceptr++
mp_twolimb_t      761 gnulib-tests/vasnprintf.c           mp_twolimb_t accu = 0;
mp_twolimb_t      765 gnulib-tests/vasnprintf.c               accu = (mp_twolimb_t) (mp_limb_t) accu << GMP_LIMB_BITS;
mp_twolimb_t      766 gnulib-tests/vasnprintf.c               accu += (mp_twolimb_t) *--ptr << (GMP_LIMB_BITS - s);
mp_twolimb_t      840 gnulib-tests/vasnprintf.c               mp_twolimb_t num =
mp_twolimb_t      841 gnulib-tests/vasnprintf.c                 ((mp_twolimb_t) remainder << GMP_LIMB_BITS) | *--ptr;
mp_twolimb_t     1106 gnulib-tests/vasnprintf.c           mp_twolimb_t carry = 0;
mp_twolimb_t     1110 gnulib-tests/vasnprintf.c               carry += (mp_twolimb_t) digit1 * (mp_twolimb_t) digit2;
mp_twolimb_t     1126 gnulib-tests/vasnprintf.c           mp_twolimb_t accu = 0;
mp_twolimb_t     1130 gnulib-tests/vasnprintf.c               accu += (mp_twolimb_t) *ptr << s_bits;
mp_twolimb_t     1223 gnulib-tests/vasnprintf.c                 mp_twolimb_t accu = 0;
mp_twolimb_t     1227 gnulib-tests/vasnprintf.c                     accu += (mp_twolimb_t) *sourceptr++ << s_bits;