1--TEST--
2number_format should use default thousands seperator when 3 arguments are used
3--FILE--
4<?php
5
6$number = 2020.1415;
7
8var_dump(number_format($number, 2, 'F'));
9
10?>
11--EXPECT--
12string(8) "2,020F14"
13