Split `IntDomain`s into separate files#1606

Merged

sim642 merged 28 commits intomasterfrom

intdomain-split

Dec 16, 2024

Commits on Oct 25, 2024

Commits on Dec 16, 2024

Merge branch 'master' into intdomain-split
sim642
committed