gmp_printf bug?

[Zimmermann Paul]

       Vincent,

> > Note that the mpf_dump call succeeds, but gmp_printf fails.
> 
> I suppose that this is due to the base 2 to base 10 conversion,
> which involves much more complex computations.

not sure, since with 2^1345466883500933129 I get:

tarte% ./a.out 
0.556747559748362425573e405025890106316192 # mpf_dump
5.567476e+405025890106316191               # gmp_printf

thus both outputs are in base 10.

Paul