--TEST--
Bug #22187 (possible crash in number_format() function)
--FILE--
<?php
var_dump(number_format(0.0001, 1));
var_dump(number_format(0.0001, 0));
?>
--EXPECT--
string(3) "0.0"
string(1) "0"