Re: [RFC] [Discussion] Rounding Integers as int

From: Date: Thu, 05 Oct 2023 06:40:18 +0000
Subject: Re: [RFC] [Discussion] Rounding Integers as int
References: 1 2  Groups: php.internals 
Request: Send a blank email to internals+get-121230@lists.php.net to get a copy of this message
On 05.10.23 01:38, G. P. B. wrote:
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.
I don't see a bug or broken behavior here as these functions were processing floating point numbers since .... forever. https://3v4l.org/PrrmO
Best regards, George P. Banyard
Best, Marc

Attachment: [application/pgp-keys] OpenPGP public key OpenPGP_0x3936ABF753BC88CE.asc
Attachment: [application/pgp-signature] OpenPGP digital signature OpenPGP_signature.asc
« previous php.internals (#121230) next »