Integer can become float when exceedes it's limits, PHPStan does not recognize it #8458
Description
In the following code snippet PHPStan thinks that only integer can be always returned, but it doesn't have to be always true - see the assertion.
{{ message }}