The printf modifier for a double is just %f
Merge branch 'PHP-5.4' into PHP-5.5
Merge branch 'PHP-5.5'