core-logic 2023-11-05

can I cheat somehow and model an infinite integer domain?