Re: [RFC] [Discussion] Rounding Integers as int
| From: | G. P. B. | Date: | Wed, 04 Oct 2023 23:38:15 +0000 |
| Subject: | Re: [RFC] [Discussion] Rounding Integers as int | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-121224@lists.php.net to get a copy of this message | ||
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