Hello internals! I have just opened voting on the RFC to add 4 new rounding modes to round() function.
Voting will end November 30th, 00:00 GMT. Link: https://wiki.php.net/rfc/new_rounding_modes_to_round_function I'm sorry for previous message, but completely missed the title of the message. Kind regards, Jorg
