Ako ošetriť desatinnú čiarku?

Ahojte.

Ako by sa dalo ošetriť zadanie desatinnej čiarky? Potrebujem to pri práci s double v SQL. Ak dám čiarku, tak ignoruje ju a aj všetko za tým. Treba bodku. Je nejaká možnosť ako automaticky v inpute zmeniť čiarku na bodku? Prípadne ako to zmeniť v premennej? Nevadí ak sa bude zobrazovať bodka, ale potrebujem aby to bolo blbuvzdorné pri zadávaní.

Dakujem.

Viac v dokumentácií na php.net

prečo treba pretypovať premennú? mám radšej použiť float ako double priamo v DB? Prečo? dakujem

čo sa týka php riešenia: http://php.net/manual/en/function.number-format.php

Nie som si istý, či sa to dá riešiť na strane MySQL servera bez použitia iného typu stĺpca...

Ak zadas cislo s desatinnou ciarkou a ako default decimal_point je nastavena bodka (alebo naopak), tak ti ani number_format() nepomoze.

To pretypovanie som tam použil len pre obmedzenie vstupov typu 12,8741,45 (výstup zo str_replace by bol 12.8741.45 za pretypovaním je to 12.8741). Chcel si ošetrenie, takže je to nejaký vstup od užívateľa a ten treba vždy overiť.