bug in gmp_fprintf?

[Torbjörn Granlund]

I should add that a big problem with gmp_*printf remains:

When printing more than MAX_INT characters, the return value makes
little sense.

In order to fix that, we need to change the return value of these
functions from int to e.g. long.  But that's a change which is not 100%
source or binary compatible.

(We're collecting many incompatible cleanups for GMP 7.)

-- 
Torbjörn
Please encrypt, key id 0xC8601622