1--TEST--
2Bug #22187 (possible crash in number_format() function)
3--FILE--
4<?php
5	var_dump(number_format(0.0001, 1));
6	var_dump(number_format(0.0001, 0));
7?>
8--EXPECT--
9string(3) "0.0"
10string(1) "0"
11