Se usasse un . come separatore decimale, potresti usare un semplice cast

Codice PHP:
$val='1.223';
$val=(float)$val