Re: [PHP-DEV] [Round] Change the edge case of Round()

2023-10-14 Thread Tim Düsterhus
Hi On 10/13/23 11:59, Saki Takamachi wrote: For example, `0.285` is internally `0.28498`. Should this be considered an edge case? Or is it not an edge case? Regarding this issue, in 2008, the following RFC adopted the policy that `0.285` is considered an edge case''. https://wiki

[PHP-DEV] [Round] Change the edge case of Round()

2023-10-13 Thread Saki Takamachi
Hi, internals I'm working on fixing a bug in `round()`. There was a discussion about what should be considered an edge case. For example, `0.285` is internally `0.28498`. Should this be considered an edge case? Or is it not an edge case? Regarding this issue, in 2008, the followin