[php]manipulation de chaines

Bonjour,

je croyais avoir trouvé mais que nenni...
mon prob : dans mes tables, j'ai des champs decimal (5,2). Lorsque je rapatrie ce champ, mysql me retourne 9.50 ! le point fait assimiler la chaine a du caractere. Du coup toute opération mathematique est impossible. la fonction number_format que je croyais idéale ne gère que l'affichage et pas la signification de la chaine.
quelle fonction utiliser pour pouvoir faire des opération en rendant cette chaine numerique?
merci