Strict int/float comparison for conditional types, improve range return type

[AndrolGenhald]

Fixes incorrect conditional return type due to int/float comparison.
int|string works as expected: https://psalm.dev/r/b87cd02f3a
but int|float produces very odd results: https://psalm.dev/r/993cd83eb3

Also improve range return type to be list<float> if $step is float (I didn't find any PHP documentation addressing this but it seems to be empirically true: https://3v4l.org/3tcIK).

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/b87cd02f3a

<?php

/**
 * @psalm-suppress InvalidReturnType
 * @psalm-suppress MismatchingDocblockReturnType
 * @return ($bar is int ? list<int> : list<string>)
 */
function foo($bar): string {}

/** @var int */
$baz = 1;
$a = foo($baz);

/** @var string */
$baz = '1';
$b = foo($baz);

/** @var int|string */
$baz = 1;
$c = foo($baz);

/** @psalm-trace $a */;
/** @psalm-trace $b */;
/** @psalm-trace $c */;

Psalm output (using commit 5f4a211):

INFO: Trace - 22:23 - $a: list<int>

INFO: Trace - 23:23 - $b: list<string>

INFO: Trace - 24:23 - $c: list<int|string>

https://psalm.dev/r/993cd83eb3

<?php

/**
 * @psalm-suppress InvalidReturnType
 * @psalm-suppress MismatchingDocblockReturnType
 * @return ($bar is int ? list<int> : list<float>)
 */
function foo($bar): string {}

/** @var int */
$baz = 1;
$a = foo($baz);

/** @var float */
$baz = 1.;
$b = foo($baz);

/** @var int|float */
$baz = 1;
$c = foo($baz);

/** @psalm-trace $a */;
/** @psalm-trace $b */;
/** @psalm-trace $c */;

Psalm output (using commit 5f4a211):

INFO: Trace - 22:23 - $a: list<int>

INFO: Trace - 23:23 - $b: list<float|int>

INFO: Trace - 24:23 - $c: list<int>

[muglug]

Thanks!