Arrotondare una cifra ai decimi dopo una divisione

Ciao a tutti,

ho cercato un po' e ho trovato questa discussione: http://forum.it.altervista.org/php-m...-con-zero.html

però vorrei chiedervi una cosa:

come faccio ad arrotondare una cifra ai decimi dopo una divisione?

Cioè voglio fare questo:

echo 3/7; 

che a video stampa 0.42857142857143, bene, anzi male , vorrei fare un'arrotondamento ai decimi così:

- se i centesimi sono da 0 a 4 arrotonda per difetto;
- se i centesimi sono da 5 a 9 arrotonda per eccesso;

quindi 3 diviso 7 deve stampare: 0.4 perché il 2 è compreso tra quelli che voglio per difetto.

Mi sapete dire come faccio?

Grazie,
Ciao...

basta utilizzare la funzione round:

$arrotondato=round(numero_da_arrotondare, cifre_decimali); 

Questa funzione restituisce numero_da_arrotondare con tot cifre_decimali(questo parametro non è necessario);
es:
<i>round(3/7, 1)</i> restituisce 0,4
<i>round(3/7, 2)</i> restituisce 0,43

Grazie Tecnoman, funziona!

L'ho usato per arrotondare una percentuale data da numero/49 * 100, cioè ho fatto così:

echo ereg_replace("\.", ",", round($num/49*100, 2)); 

Ovviamente ho sostituito il punto con la virgola per separare l'intero dal decimale.


Grazie,
Ciao...