- var_dump: documentation ( source)
- setlocale: documentation ( source)
<?php
declare(strict_types=1);
var_dump('17.123' + '19.456');
var_dump('17 .123' + '19.456');
var_dump('17,123' + '19.456');
var_dump('1,700.123' + '19.456');
$currentLocale = setlocale(LC_ALL, 0);
setlocale(LC_ALL, "en_DK.UTF-8");
var_dump('1,700.123' + '19.456');
setlocale(LC_ALL, $currentLocale);
var_dump('17e123' + '19.456');
var_dump('hello' + '19.456');