Форум PHP

Доброго времени суток. Подскажите новичку. У меня есть переменная в которой хранится строка со значением дробного числа (0,85). Как мне преобразовать это значение чтобы я мог далее с ним выполнять действия как с дробным.

$val = (float) $val;
или
$val = floatval($val);

Сперва замените запятую на точку, а уже затем преобразование.

Благодарю.