Si ma ti consiglio round() per arrotondare i numeri, cmq:
http://it.php.net/manual/en/function.round.php