Bug report

When mt_rand is called with min/max constants it should return an integer range.

Code snippet that reproduces the problem

https://phpstan.org/r/b1101f6a-3e94-4877-9f2a-e2063bb2b5ab

Expected output

No error.