Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:121224
MIME-Version: 1.0
References: <a973a0f1-6a1d-0219-2059-823d2db497d4@mabe.berlin>
In-Reply-To: <a973a0f1-6a1d-0219-2059-823d2db497d4@mabe.berlin>
Date: Thu, 5 Oct 2023 00:38:15 +0100
Message-ID: <CAFPFaMJd7nn7+p817K2U+W5LBOPVTNqoUvXAQHbw4uESFAogDg@mail.gmail.com>
To: Marc Bennewitz <marc@mabe.berlin>
Cc: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000025d7f0606ec8110"
Subject: Re: [PHP-DEV] [RFC] [Discussion] Rounding Integers as int
From: george.banyard@gmail.com ("G. P. B.")

--000000000000025d7f0606ec8110
Content-Type: text/plain; charset="UTF-8"

On Tue, 26 Sept 2023 at 11:39, Marc Bennewitz <marc@mabe.berlin> wrote:

> Hi internals
>
> I'd like to put a new RFC under discussion:
> https://wiki.php.net/rfc/integer-rounding


I don't understand the point of the deprecation phase at all.
Frankly, I consider this RFC a bug fix of the current "broken"
implementation, which was broken with 7.0 and the move to 64bit integers.
As such, I would just make the behaviour of returning integers the default
behaviour in 8.4.
If, for some weird reason, people want less accurate numbers, they can
always cast the input to float.

Best regards,

George P. Banyard

--000000000000025d7f0606ec8110--