Casting int range should keep literals

[kkmuffme]

https://psalm.dev/r/b6f6d6b075

For a reasonable int range size, casting an int range should behave like casting int's that aren't in a range.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/b6f6d6b075

<?php

$int = rand(0, 2);
$string = (string) $int;
/** @psalm-trace $string */;

$int = rand(0, 1) ? 0 : 2;
$string = (string) $int;
/** @psalm-trace $string */;

Psalm output (using commit 08afc45):

INFO: Trace - 5:28 - $string: numeric-string

INFO: Trace - 9:28 - $string: '0'|'2'

INFO: UnusedVariable - 3:1 - $int is never referenced or the value is not used

INFO: UnusedVariable - 4:1 - $string is never referenced or the value is not used

INFO: UnusedVariable - 7:1 - $int is never referenced or the value is not used

INFO: UnusedVariable - 8:1 - $string is never referenced or the value is not used