Psalter: Internal Psalm error Division by zero

[aboyton]

I'm getting a divide by zero error when processing code such as $a = 1 / 0.0;. It works fine for an integer zero $a = 1 / 0;

https://psalm.dev/r/1a7af27899

I'm getting the error

Psalm runner output: 

Internal Psalm error on line 969 - /vendor/vimeo/psalm/src/Psalm/Internal/Analyzer/Statements/Expression/BinaryOp/ArithmeticOpAnalyzer.php: Division by zero

This appears to come from the check

if ($operand2 === 0) {
    return Type::getNever();
}

$result = $operand1 / $operand2;

I've not worked on this repo before, but I'm happy to make a PR to fix this.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/1a7af27899

<?php

$a = 1 / 0.0;

echo $a;

Psalm encountered an internal error:

/vendor/vimeo/psalm/src/Psalm/Internal/Analyzer/Statements/Expression/BinaryOp/ArithmeticOpAnalyzer.php: Division by zero