en realidad vos lo que tenes mal es el formato del decimal
Código PHP:
Ver original<?
$numero = "9,7135" ; //HAY QUE CAMBIAR LA COMA POR EL PUNTO
$numero = explode(",",$numero); //HAY FORMAS MUCHO MAS SIMPLES PERO AHORA SE ME OCURRIO ESTA $numero = floatval($numero[0].'.'.$numero[1]); ?>