Description:
------------
The modifier %d doesn't work as one would expect sprintf/printf. When a string is returned, it is always replaced %d with '1' instead of the evaluated number of the __toString() output.

Consider this:

printf("%s %d", "4", "4");

will output "4 4", however if the parameters are replaced with an object whith magic __toString() which returns "4", %d is not replaced with 4 but with 1. It always returned 1, no matter what __toString() returns.



Reproduce code:
---------------
    class foo {
        function __toString() {
            return "4";
        }
    }
    printf("%s %d\n", new foo, new foo);
    printf("%s %d\n", "4", "4");


Expected result:
----------------
4 4
4 4


Actual result:
--------------
4 1
4 4