[php-maint] Bug#613982: Bug#613982: printf generates scientific notation inaccurately

[Ronan]

> P.S. would be great if you could report it upstream. It would save us some 
> time.

I compiled PHP 5.3.5, and found that the bug has actually been fixed
in that version.

Regards,

Ronan.