FP: PHP_INT_MAX cannot be used as a default of a `positive-int` parameter

# Bug report

### Code snippet that reproduces the problem
https://phpstan.org/r/39e75750-a601-4e61-8569-b4530dadc676


### Expected output
No error should be reported: PHP_INT_MAX satisfies the requirements of `positive-int`.