[RFC] [Discussion] Add 4 new rounding modes to round() function
| From: | Jorg Sowa | Date: | Sat, 02 Sep 2023 19:33:48 +0000 |
| Subject: | [RFC] [Discussion] Add 4 new rounding modes to round() function | ||
| Groups: | php.internals | ||
| Request: | Send a blank email to internals+get-120971@lists.php.net to get a copy of this message | ||
Hello everyone,
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
Thanks Niels for spotting incorrect links to the modes.
Kind regards,
Jorg