[php] problem z zaokraglaniem (printf) Opcje

[maris]

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?