[rmichaelthomas]

Summary

• Keep Liminate's Python integer and IEEE-754 runtime behavior unchanged.
• Restrict symbolic numeric reasoning to known integer facts and Python-evaluated literal arithmetic; explicitly decline float-sensitive symbolic operations.
• Add deterministic differential coverage for decimal arithmetic, comparisons, divisions, rounding boundaries, and named integer arithmetic intermediates.

Validation

• Focused arithmetic/checker/fuzzer tests: 196 passed, no skips.
• Full suite: 1912 passed, no skips.
• Grammar encodability check and example programs passed.
• Z3 and Hypothesis were available in the test environment.