Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:70967
Return-Path: <yohgaki@gmail.com>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 67178 invoked from network); 2 Jan 2014 19:56:24 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 2 Jan 2014 19:56:24 -0000
Authentication-Results: pb1.pair.com smtp.mail=yohgaki@gmail.com; spf=pass; sender-id=pass
Authentication-Results: pb1.pair.com header.from=yohgaki@gmail.com; sender-id=pass
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.217.172 as permitted sender)
X-PHP-List-Original-Sender: yohgaki@gmail.com
X-Host-Fingerprint: 209.85.217.172 mail-lb0-f172.google.com  
Received: from [209.85.217.172] ([209.85.217.172:47709] helo=mail-lb0-f172.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id DD/83-48256-664C5C25 for <internals@lists.php.net>; Thu, 02 Jan 2014 14:56:23 -0500
Received: by mail-lb0-f172.google.com with SMTP id x18so7747811lbi.31
        for <internals@lists.php.net>; Thu, 02 Jan 2014 11:56:19 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:sender:in-reply-to:references:from:date:message-id
         :subject:to:cc:content-type;
        bh=yAcHXNN8nqqa+lz8EIin2QhAyFpq9efyKrUZ2clqvXo=;
        b=qq+vLpZ2+Hekpy8adusKBrkL7XrY/+IqCIZSfTt7syOsXXfV4Fq1QCImsUlrXsifg4
         hrCLe3yYT045PaEQTxGUMuoM1GaFmmd4l6c00V5pJlFvNaZU8aTM5g2xk91YgsHvyuIM
         604yb7KbjzDdT3zi4rZ78e0eSnLjpIGGDCAZDd2Ld2g65Gle+7F69C33vX6odptS2CD5
         WI6nX5D7xb23qeMIj5RgcI7/2w5PQ+wNd7x36GiAaJViVnqaVgXXD6r+tgrzN1tS8VJI
         cE6f1U5azWIMOlBHQwruhgN9+Yff42solcDWPOyeHC6TB2ekcfBKL/WIPp3ZtmUbC9Tq
         jKHQ==
X-Received: by 10.112.54.202 with SMTP id l10mr889708lbp.83.1388692579707;
 Thu, 02 Jan 2014 11:56:19 -0800 (PST)
MIME-Version: 1.0
Sender: yohgaki@gmail.com
Received: by 10.112.6.68 with HTTP; Thu, 2 Jan 2014 11:55:39 -0800 (PST)
In-Reply-To: <001801cf07e9$a07af1e0$e170d5a0$@tutteli.ch>
References: <001801cf07e9$a07af1e0$e170d5a0$@tutteli.ch>
Date: Fri, 3 Jan 2014 04:55:39 +0900
X-Google-Sender-Auth: MWpRmKOzHUba-r4FyC85B0Gjqlk
Message-ID: <CAGa2bXaktXPADkfttuoYKE=XWH0962SAX-msiWDD+qbhNbhBbA@mail.gmail.com>
To: Robert Stoll <php@tutteli.ch>
Cc: "internals@lists.php.net" <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a11c39e22ea730204ef022f43
Subject: Re: [PHP-DEV] NAN and INF cast to int
From: yohgaki@ohgaki.net (Yasuo Ohgaki)

--001a11c39e22ea730204ef022f43
Content-Type: text/plain; charset=UTF-8

Hi Robert,

On Fri, Jan 3, 2014 at 3:36 AM, Robert Stoll <php@tutteli.ch> wrote:

> An example:
> $f = NAN;
> var_dump(++$f);                 // float NAN
> var_dump((float) NAN);   // float NAN
> var_dump((int) NAN);       // int -2147483648 -> what?
> var_dump((bool) NAN);   // bool true -> makes sense
>
> $f = INF;
> var_dump(++$f);                         // float INF
> var_dump((float) INF);             // float INF
> var_dump((int) INF);                 // int 0 -> what?
> var_dump((bool) INF);             // bool true -> so why int 0?
> var_dump((int) (bool) INF);   // int 1
>

I've added this to the RFC as an issue.
https://wiki.php.net/rfc/comparison_inconsistency

BTW, this issue could be mitigated by GMP float support.

Regards,

--
Yasuo Ohgaki
yohgaki@ohgaki.net

--001a11c39e22ea730204ef022f43--