codice:
$cifra = 12.15;
list($intero, $decimale) = explode(".", $cifra);
$tot = $decimale[0] + $decimale[1];
echo $tot;