Re: [PHP-DEV] [RFC] Prevent number_format() from returning negative zero

[Craig Duncan]

Just a reminder that I'll be putting the following RFC to vote in a few
days.

https://wiki.php.net/rfc/number_format_negative_zero

I presume the silence is due to there being no more objections, so I look
forward to the vote.

Thanks,
Craig