The specific usecase the bug reporter has provided DOES raise a warning, which he has intentionally routed to /dev/null php -r 'print number_format("",0) . "\n

The specific usecase the bug reporter has provided DOES raise a warning, which he has intentionally routed to /dev/null php -r 'print number_format("",0) . "\n";' PHP Warning: number_format() expects parameter 1 to be double, string given in Command line code on line 1