Código PHP:
$promedio=$acumulador/$ixx;
$prom=number_format($promedio,1);
y funciona bien, saca un promedio ejemplo: 8.56
se muestra como 8.6....
pero yo necesito mostrarlo como 8.5
es decir truncar el promedio... (cortar a un dígito sin redondear) y en caso de que el promedio sea un numero entero ejemplo 8 mostrarlo como 8.0
he buscado pero solo encuentro funciones que redondean :(