Redondear numero .5 baje mayor a .5 suba

[jossss]

9.0?
Según

Código PHP:

$tp2=($pfinal+$pfinal2+$pfinal3+$pfinal4)/10;
 

Nuca puede dar resultado de 9.0, ya que directamente es 9.
Aunque me gusta más la opción de abimex... que sería la correcta, yo creo que así no debería fallarte.

Código PHP:

$tp2=($pfinal+$pfinal2+$pfinal3+$pfinal4)/10;
$sep = explode(".",$tp2); 
if(count($sep)>1){ 
    // Si existe un decimal lo tomamos 
    if($sep[1]>5){ 
        // Si el decimal es mayor que 5 pasamos al siguiente entero 
        $tp2 = $sep[0] + 1; 
    } else { 
        // Si es menor que 5 
        $tp2 = $sep[0]; 
    } 
}  
echo $tp2;
 

Prueba aqui http://ignite.io/code/50534d7def167b9d29000000 Para verlo funcionando tienes que darle a 'Ignite'.