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
