Re: [RFC] [Discussion] Add 4 new rounding modes to round() function
| From: | Tim Düsterhus | Date: | Sun, 03 Sep 2023 12:03:06 +0000 |
| Subject: | Re: [RFC] [Discussion] Add 4 new rounding modes to round() function | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-120974@lists.php.net to get a copy of this message | ||
Hi
On 9/2/23 21:33, Jorg Sowa wrote:
I would like to start the RFC process about adding 4 new rounding modes to the round() function. As the topic was previously discussed and the change is quite small, I would like to start the voting on the beginning of next week. RFC: https://wiki.php.net/rfc/new_rounding_modes_to_round_functionIs
round($num, 0, PHP_ROUND_CEILING) === ceil($num) true for all values of '$num' and likewise for floor()? If so, I think it would be useful to spell this out explicitly in the RFC, because automated refactoring tools might be interested in migrating to the unified round() function.
Best regards
Tim Düsterhus