Re: [PHP-DEV] [RFC] [Discussion] Change the edge case of round()

[Claude Pache]

> Le 5 nov. 2023 à 08:31, Saki Takamachi <s...@sakiot.com> a écrit :
> Hi,
> 
> It's almost been two weeks since I opened this discussion. If there are no 
> other opinions, I am thinking of starting a vote tomorrow or later.
> 
> Regards.
> 
> Saki

Hi Saki,

Reading the RFC, it is unclear for me what are the benefits of the change, and 
whether it is worth the subtle breaking of existing code that implicitly relies 
on the current behaviour. “FP is just FP” looks like an ideal position, and one 
that has a counteragument given in the RFC that introduced the current 
behaviour. 

We could live with any behaviour of round(), and they are arguments on both 
sides. My issue at this point is not exactly what behaviour we have picked, but 
whether changing between the two is sufficiently motivated. 

—Claude 

--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: https://www.php.net/unsub.php