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

From: 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

« previous php.internals (#121595) next »