Forum PHP.pl

Witam,
mam problem z zaokrąglaniem liczb. Np. dla takiego fragmentu kodu:

[PHP] pobierz, plaintext 
<?php
$a = 1.5;
 printf("%01.0f", $a);
echo "<br />";
$b = 2.5;
 printf("%01.0f", $b);
echo "<br />";
?>
[PHP] pobierz, plaintext 

na serwerze z php4 otrzymam wynik 2 3 (czyli tak jak powinno być), natomiast na serwerze z php5 otrzymam wyniki 2 2.
Niestety nie wiem skąd się bierze się ten problem. Sprawdzałem to na wersjach 5.2.6, 5.2.8 i 5.2.9 - wszędzie ten sam, błędny wynik. Czy to jest bug php, czy może problem leży gdzie indziej?

Uzyj round($b)

z round() jest ok, tylko, że problem dotyczy projektu, który jest już napisany i teraz muszę go przenieść na serwer z php5 i chciałbym uniknąć zmieniania wszystkich printf() na round(). Ale możliwe, że tak trzeba będzie :/