gmp_printf bug?

[Zimmermann Paul]

       Torbjörn,

> I didn't realise that you're on a slightly obsolete GMP version. Did you
> try the current one, 5.0.2?

I just tried with 5.0.2, same result as 5.0.1:

zimmerma at gcc20:~/gmp-5.0.2$ ./a.out 
libc version: 2.11.2
GMP 5.0.2 library 5.0.2
0.111349511949672485115e405025890106316193
*** glibc detected *** ./a.out: realloc(): invalid pointer: 0x0000000000623008 ***

Paul