Voting has now closed and the RFC has passed with 14 votes for and 1 against. https://wiki.php.net/rfc/number_format_negative_zero
Thanks to everybody that got involved. I've submitted a PR for the implementation: https://github.com/php/php-src/pull/2508 Thanks, Craig
