GMP Floating Point Support - Will be implemented?

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