RFC: GMP Floating Point Support

Project Governance
Author
@yohgaki suggested adding support for libgmp's arbitrary precision floating point numbers to the PHP extension, and I offered to implement it, so here's my prop...

This RFC has not yet started voting