Psalm fails to narrow type to positive int inside loop

[theodorejb]

Psalm fails to infer that a variable is a positive int when the condition occurs inside a loop.

https://psalm.dev/r/155977bb20

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/155977bb20

<?php

function sleepLoop(float $seconds, int $repeat): void
{
    $microseconds = (int) ($seconds * 1_000_000);

    for ($i = 0; $i < $repeat; $i++) {
        if ($microseconds > 0) {
            usleep($microseconds);
        }   
    }
}

sleepLoop(1.5, 5);

Psalm output (using commit 18011eb):

ERROR: ArgumentTypeCoercion - 9:20 - Argument 1 of usleep expects int<0, max>, but parent type int provided

[theodorejb]

Note: this worked as expected in Psalm 4.x, so it's a regression in Psalm 5.

[orklah]

Note:
Following tests are still broken:
SKIPPED-intLoopNegative
SKIPPED-statementsInLoopAffectsEverything