Implement operator overloading and improve GMP

PR for RFC https://wiki.php.net/rfc/operator_overloading_gmp.

Work in progress