Too big `string` to `int` cast results nonsense

Description

The following code:

<?php
if ( (string) PHP_INT_MAX === '9223372036854775808' ) {
    echo "string identical" . PHP_EOL;
}

if ( PHP_INT_MAX === (int) '9223372036854775808' ) {
    echo "int identical" . PHP_EOL;
}

Resulted in this output:

int identical

But I expected this output instead:

Deprecated: Conversion from string '9223372036854775808' to int loses precision

A very similar error already exists when converting float to int implicitly e.g. $a[ PHP_INT_MAX + 1 ] = '';

See also https://github.com/php/php-src/issues/17081 which reports that for float/int casts

PHP Version

PHP 8.4.8

Operating System

No response

Reproduziere das String-zu-Integer-Cast-Verhalten unter PHP 8.4.8 und verfolge anschließend den Konvertierungspfad des PHP-Interpreters von String zu Integer. Vergleiche ihn mit der im Issue referenzierten Behandlung von Präzisionsverlusten bei der Konvertierung von Float zu Integer. Als erledigt gilt die Aufgabe, wenn die Konvertierung eines übergroßen Strings die erwartete Deprecation meldet, statt stillschweigend PHP_INT_MAX zu erzeugen.