Re: [RFC][DRAFT] GMP number as PHP number
| From: | Yasuo Ohgaki | Date: | Sat, 04 Jan 2014 19:32:51 +0000 |
| Subject: | Re: [RFC][DRAFT] GMP number as PHP number | ||
| References: | 1 2 3 4 5 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-71001@lists.php.net to get a copy of this message | ||
Hi Sara,
On Sat, Jan 4, 2014 at 4:07 PM, Sara Golemon <pollita@php.net> wrote:
> On Tue, Dec 31, 2013 at 1:52 PM, Yasuo Ohgaki <yohgaki@ohgaki.net> wrote:
> > On Tue, Dec 31, 2013 at 10:53 AM, Sara Golemon <php@golemon.com> wrote:
> >>
> >> On float support in GMP extension: Big +1, and I'd be happy to implement
> >> it.
> >
> > I appreciate if you implement it!
> > I'll concentrate on encoding and session improvement :)
> >
> I've pulled the GMP float proposal out of
> https://wiki.php.net/rfc/gmp_number and fleshed it out a bit as
> https://wiki.php.net/rfc/gmp-floating-point
I don't mind removing old RFC at all.
I moved my RFC to "Withdrawn" section as reference.
Thank you for your effort!
Regards,
--
Yasuo Ohgaki
yohgaki@ohgaki.net