<?php
$x = (double)15.693,12;
echo $x;
?>
sonuca veri türü dayatabilirsin yukarıda ki şekilde. noktasını virgülünü kendisi halleder. yada kontrol yapısı kullanarak biçimlendir regex kullanarak. veya kontrol yapısıyla veri türleriyle ilgili metod geliştirebilirsin. uamrım yardımcı olmuştur.