On Thu, Nov 24, 2016 at 11:54 PM, Craig Duncan <p...@duncanc.co.uk> wrote:
> I've submit a PR (https://github.com/php/php-src/pull/2220) to fix a bug ( > https://bugs.php.net/bug.php?id=73581). > > Kalle suggested I run the change by here to see if there are any concerns > or feedback about merging this? > This doesn't seem like a bug to me. Our floating point is all IEEE 754 and as per IEEE 754 -0.00 is the correct and expected result here. -Rasmus
