Introducing 2 new modes to round function

Hello internals! I would like to propose introducing two new modes to the function round(): PHP_ROUND_DOWN and PHP_ROUND_UP. Those modes are highly requested as you can see by the comments on round documentation page. First comment mentioning about those modes has 309 votes as of today. Introducing those 2 modes would be complementing to the rounding in this function. Round documentation: https://www.php.net/manual/en/function.round.php My implementation: https://github.com/php/php-src/pull/11741 I'm not sure if such minor improvement requires RFC, but as someone may have some concerns I create this thread to get your feedback. Kind regards, Jorg