1--TEST--
2Bug #39873 (number_format() breaks with locale & decimal points)
3--SKIPIF--
4<?php
5if (!setlocale(LC_ALL, "ita","it","Italian","it_IT","it_IT.ISO8859-1","it_IT.ISO_8859-1")) {
6        die("skip locale needed for this test is not supported on this platform");
7}
8?>
9--FILE--
10<?php
11	setlocale(LC_ALL, "ita","it","Italian","it_IT","it_IT.ISO8859-1","it_IT.ISO_8859-1");
12	$num = 0+"1234.56";
13	echo number_format($num,2);
14	echo "\n";
15?>
16--EXPECT--
171,234.56
18