Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:71006
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain ajf.me designates 198.187.29.240 as permitted sender)
Message-ID: <52C95C06.5030801@ajf.me>
Date: Sun, 05 Jan 2014 13:20:06 +0000
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.2.0
MIME-Version: 1.0
To: Stas Malyshev <smalyshev@sugarcrm.com>, 
 Sara Golemon <pollita@php.net>,
 PHP internals <internals@lists.php.net>
References: <CAESVnVo07=6hq2qZvoDodYttRA-Ag9n+h=UAEkdYwbv0TFXXKw@mail.gmail.com> <52C90D9F.6080802@sugarcrm.com>
In-Reply-To: <52C90D9F.6080802@sugarcrm.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] [RFC] Floating Point support in GMP extension
From: ajf@ajf.me (Andrea Faulds)



On 05/01/14 07:45, Stas Malyshev wrote:
> Also, I'm not sure how exactly "all other gmp_*() functions" are
> supposed to work on floats - for many of them it just make no sense
> (such as factorial or q/r division or modulo), for others like bit
> functions it technically could make sense but would probably be not
> useful since nobody does bit ops on floats... Maybe it would make more
> sense to look into what GMP library does with floats and write different
> function set from there?

Well, I note that you can do bitwise operations on floats in PHP as it 
stands, although obviously this is accomplished by rounding. I don't see 
why we shouldn't allow this for GMP floats, even though its applications 
are likely limited.

-- 
Andrea Faulds
http://ajf.me/