fix: Unsound interval rules for `*`, `div`, `mod`, `/` and `**` - #1159

Draft

fabiomadge wants to merge 2 commits into

fix/interval-arithmetic-rules

Commits on Sep 20, 2026

fix: Unsound interval rules for `*`, `div`, `mod`, `/` and `**`
fabiomadge
committed
33727e8

Commits on Sep 21, 2026

Address review feedback
fabiomadge
committed
06b7c5f