Loïc Lamarque
07/03/2026, 4:27 PMInteger, exact Decimal arithmetic, and sign as a type
This release reworks `Integer`'s internal representation for speed, adds a brand-new Decimal type for exact arithmetic (no more 0.1 + 0.2 != 0.3), makes Integer division Euclidean and total, and introduces NonZeroInteger / NonNegativeInteger / NonPositiveInteger to turn sign constraints into types.
We wrote a short tour of all four changes.
Read it here 👇