Hi On 3/17/24 13:23, Marc Bennewitz wrote:
I have opened the vote for the "Rounding Integers as int" RFC: https://wiki.php.net/rfc/integer-rounding
Please also update the Status within the RFC itself and move it to the correct section in the RFC overview at: https://wiki.php.net/rfc
Best regards Tim Düsterhus
