Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:77222
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.214.176 as permitted sender)
MIME-Version: 1.0
Sender: morrison.levi@gmail.com
In-Reply-To: <B08F027B-EACA-42A1-BAFD-8B0FB3135016@ajf.me>
References: <B08F027B-EACA-42A1-BAFD-8B0FB3135016@ajf.me>
Date: Mon, 15 Sep 2014 10:24:01 -0600
Message-ID: <CAFMT4NpNqexoD+5MuVYPRCwqwgw5Ft3n2t4aXSF52_wAkuNDAw@mail.gmail.com>
To: Andrea Faulds <ajf@ajf.me>
Cc: PHP Developers Mailing List <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Subject: Re: [PHP-DEV] [VOTE][RFC] Integer Semantics
From: levim@php.net (Levi Morrison)

> This RFC has been put to a vote. It starts today (2014-09-14) and ends in=
 a week=E2=80=99s time (2014-09-21).
>
> https://wiki.php.net/rfc/integer_semantics#vote

A few people have asked why I voted no; the only reason is that
division by zero will return `false` and emit a warning. Integers can
be converted to floating point numbers and dividing by zero in IEEE
754 is defined as INF. I would rather leave behavior undefined by
voting no on this RFC than by defining it to a value which does not
make sense to me. The value false will get converted to zero in any
additional math, which is not the same as INF.

The rest of the RFC looks very good, and would vote yes to it if
division by zero was untouched or modified to use floating point
division by zero.