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.28499999999999998`. 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.net/rfc/rounding Here is a PR for changes based on the contents of the above RFC. https://github.com/php/php-src/pull/12268 However, since FP is just FP, there is an opinion that it is wrong to treat `0.285` as an edge case. This is PR based on such opinions. https://github.com/php/php-src/pull/12291 A new RFC is required to change what was determined in the previous RFC, so I would like to hear everyone's opinions first. Best regards. Saki -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
