xref: /PHP-7.2/tests/lang/034.phpt (revision 17ccbeec) 
1--TEST--
2Bug #12647 (Locale settings affecting float parsing)
3--INI--
4precision=14
5--SKIPIF--
6<?php  # try to activate a german locale
7if (setlocale(LC_NUMERIC, "de_DE.UTF-8", "de_DE", "de", "german", "ge", "de_DE.ISO-8859-1") === FALSE) {
8	print "skip Can't find german locale";
9}
10?>
11--FILE--
12<?php
13# activate the german locale
14setlocale(LC_NUMERIC, "de_DE.UTF-8", "de_DE", "de", "german", "ge", "de_DE.ISO-8859-1");
15
16echo (float)"3.14", "\n";
17?>
18--EXPECT--
193,14
20