1234567891011121314151617181920 |
- --TEST--
- Bug #52355 (Negating zero does not produce negative zero)
- --FILE--
- <?php
- var_dump(-0.0);
- var_dump(-(float)"0");
- $foo = -sin(0);
- var_dump($foo);
- var_dump(@(1.0 / -0.0));
- ?>
- --EXPECT--
- float(-0)
- float(-0)
- float(-0)
- float(-INF)
|