php/php-src — pull request #342 by nikic (2013-05-12 13:53:14+00:00)
Title: Implement operator overloading and improve GMP

PR for RFC.
Work in progress