Replace comma with dot php/mysql

commatodot.txt

//php
$num = (int) "10";
$num = (double) "10.12"; // same as (float) "10.12";
//mysql
update table
    set myColumn = replace(myColumn, ',', '.')
    where myColumn like '%,%'