Ayuda para redondear un decimal

[file]

Hola.

No se como enviar una pregunta a los usuarios del foro que me puedan responder.

Pero espero me puedas ayudar.

lo que nececito es como redondear un numero decimal de la siguiente manera.

Ejemplo:
7.2345 a 7.0
ó
7.3456 a 7.5
otra forma es
7.8456 a 8.0,

los valores que quiero aceptar son

0 0.5 1 1.5 .......9.5 10.

Talves sepas de un script que lo pueda hacer, en php o en javascript.



Gracias.

[Reynier]

Lo puedes hacer usando la función round de PHP. Esta es la sintaxis de la misma:

float round ( float val [, int precision])

Esto es un ejemplo:

Código PHP:

 // Entrada: 
<?php 
 echo round(7.3456,2); 
?>   

Salida:
7.34

Salu2

[file]

Gracias.


Probaré con el ejemplo.

espero poder sacar puntos medios únicamente o entero.


Nuevamente Gracias.