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