arrontodamento "personale" float

[francylosvitato]

Ciao a tutti,
ho l'esigenza di eseguire un arrotondamento personalizzato con i float.
In pratica una cosa di questo tipo:

7.23 diventa 7.50
7.40 diventa 7.50
> 7.50 diventa 8.00

Cioè sotto il .50 diventa 0.50 e sopra diventa l'unità successiva.


Ho visto i valori di round ma non riesco a coprire questa tipologia di arrotondamento...
Potrei "estrarre" la parte decimale e fare dei confronti per poi incrementare dove serve?

Grazie
Francesco

[Alhazred]

Supponendo che il valore da arrotondare sia in $valore

$arrotondato = (ceil($valore * 2) / 2);