1--TEST--
2Prevent number_format from returning negative zero
3--FILE--
4<?php
5
6$number = -1.15E-15;
7
8var_dump($number);
9var_dump(number_format($number, 2));
10var_dump(number_format(-0.01, 2));
11
12?>
13--EXPECT--
14float(-1.15E-15)
15string(4) "0.00"
16string(5) "-0.01"
17
