- var_dump: documentation ( source)
- filter_var: documentation ( source)
<?php
$options = array('decimal' => ',');
$var = 3140.57;
$result = filter_var(
$var,
FILTER_VALIDATE_FLOAT,
array(array('options' => $options))
);
var_dump($result);