[VOTE] Internal operator overloading and GMP improvments

> Hi internals!
>
> I started the vote on the operator overloading / GMP RFC:
>
> https://wiki.php.net/rfc/operator_overloading_gmp#vote
>

Vote is closed now. RFC accepted (on both counts).

Nikita