mpz_limbs interface

[Zimmermann Paul]

       Dear Marco,

> >   Seed GMP_CHECK_RANDOMIZE=1391280408 (include this in bug reports)
> >   repl-vsnprintf.c:379: GNU MP assertion failed: len < total_width
> >   /bin/bash: line 5:  7656 Aborted                 (core dumped)
> > MPFR_QUIET=1 ${dir}$tst
> >   FAIL: tprintf
> 
> > I trust that you will debug this and report it to us if it is GMP's fault.
> 
> I believe it is GMP's fault.

with the gmp-5.1.90-20140122 snapshot the problem is fixed, thanks.

> Maybe our printf/repl-vsnprintf.c is not tested enough?

yes it seems.

Paul