Redondear numero .5 baje mayor a .5 suba

[abimex]

Ya existe en PHP eso

Código PHP:

<?php 
echo round(9.5, 0, PHP_ROUND_HALF_DOWN); // 9
echo round(9.6, 0, PHP_ROUND_HALF_DOWN); // 10
?>
 

revisa la documentación oficial de php
http://www.php.net/manual/es/function.round.php