Bug report

PHPStan breaks when the range of (integer) values in the range() function gets higher than approximately 5000.

Code snippet that reproduces the problem

$numbers = range(1, 10000);

It's broken since the release of PHPStan 0.12.55 and i think it was introduced within this change:
phpstan/phpstan-src@67a905a

Expected output

PHPStan should not break.