php german locale + float to string conversion: comma and not dot
Problem:
$ php -a
Interactive mode enabled
php > echo (string) 2.5;
2.5
php > setlocale(LC_ALL, 'de_DE.UTF-8');
php > echo (string) 2.5;
2,5
php > echo (string) var_export(2.5,true);
2.5
php > echo (string) var_export('2.5', true);
'2.5'
