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

PHP 8.4.8 で string から int へのキャスト動作を再現し、その後、PHP インタープリターの string から整数への変換経路を追跡します。issue で参照されている、既存の float から int への変換における精度損失の処理と比較します。サイズが大きすぎる string の変換で、何も通知せずに PHP_INT_MAX を生成するのではなく、期待される deprecation が報告されれば完了です。