Feature request

Addition/Substraction/Multiplication should be a good first step.

Division is a bit more involved I guess and might be done separately

https://phpstan.org/r/e5649a4d-e1e3-4267-ac00-4e6fac412931

Did PHPStan help you today? Did it make you happy in any way?