Como seguramente sabes, existen diversas notaciones para indicar números decimales:
* 12.25 //anglosajon
* 12,25 //castellano
Por defecto php maneja la notación anglosajona; puedes cambiarlo con setlocale()
<?php
$numero = 13/2;
echo $numero; // 6.5
setlocale (LC_NUMERIC, "es");
echo $numero; // 6,5
?>
Considera también la función number_format.
Si recibes datos numéricos de tus usuarios recuerda siempre validar la notación de entrada !!
Por ejemplo, la función is_numeric no reconocerá como número una cadena con decimales separados por comas: "12,25"