Re: [RFC] [Discussion] Change the edge case of round()
| From: | Saki Takamachi | Date: | Wed, 08 Nov 2023 02:25:07 +0000 |
| Subject: | Re: [RFC] [Discussion] Change the edge case of round() | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-121615@lists.php.net to get a copy of this message | ||
Hi Tim,
> I think, most often, round() is done on the result of some calculation, not on decimal
> literals. The previous implementation seems to prioritize rounding of decimal literals over correct
> rounding of the actual value.
Yes, as Jakub pointed out, there was a lack of explanation regarding existing implementations. I
would like to add it to the RFC.
Regards.
Saki