Re: [RFC] [Discussion] Change the edge case of round()
| From: | Jakub Zelenka | Date: | Wed, 08 Nov 2023 09:50:54 +0000 |
| Subject: | Re: [RFC] [Discussion] Change the edge case of round() | ||
| References: | 1 2 3 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-121617@lists.php.net to get a copy of this message | ||
On Wed, Nov 8, 2023 at 9:40 AM Saki Takamachi <saki@sakiot.com> wrote:
> I added and modified into the RFC. I would be happy if you could check it
> out.
>
It looks much better.
It might make sense to also put some info what other languages / dbs do.
For example Python round(0.285, 2) result is 0.28 and it's got also decimal
parameter. If you can find other implementations that have got such
function, that would be great!
Cheers
Jakub