You could remove any character that is not a digit or a decimal point and parse that with floatval
:
$number = 1200.00;
$parsed = floatval(preg_replace('/[^d.]/', '', number_format($number)));
var_dump($number === $parsed); // bool(true)
And if the number has not .
as decimal point:
function parse_number($number, $dec_point=null) {
if (empty($dec_point)) {
$locale = localeconv();
$dec_point = $locale['decimal_point'];
}
return floatval(str_replace($dec_point, '.', preg_replace('/[^d'.preg_quote($dec_point).']/', '', $number)));
}
与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…