Re: [RFC] [Discussion] Change the edge case of round()
| From: | Claude Pache | Date: | Mon, 06 Nov 2023 02:04:13 +0000 |
| Subject: | Re: [RFC] [Discussion] Change the edge case of round() | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-121595@lists.php.net to get a copy of this message | ||
> Le 5 nov. 2023 à 08:31, Saki Takamachi <saki@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