php/php-src — pull request #648 by ParkFramework (2014-04-20 13:28:17+00:00)
Title: GMP Floating Point Support - Will be implemented?

Is very desired functional.
https://wiki.php.net/rfc/gmp-floating-point