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_function
Is `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
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: https://www.php.net/unsub.php
