curious printf bug

[Martin Bähr]

hi,

this was found by hallvabo on irc:
write("%.3f\n",Gmp.mpf("3.14159265359")) prints all the decimals, not just three

confirmed in 7.9 all the way down to 7.5 by genesys. but it works in 7.3

btw: http://pike-jira.lysator.liu.se/ is down.

greetings, martin.