Hello internals, I would like to present an RFC to make the GMP class final: https://wiki.php.net/rfc/gmp-final
This is short and to the point, and I intend to open voting for this after the mandatory discussion period of 2 weeks has happened, i.e. on the 13th of July 2024. Best regards, Gina P. Banyard
