A while back we had some conversation about different ways of number casting, and how to deal with overflow and underflow.
Today I came across the 'as if infinitely ranged' (AIR) integer model.
It makes for an interesting read. Curious to what you all think about this approach compared to what Roc does today
https://resources.sei.cmu.edu/library/asset-view.cfm?assetid=9299
Last updated: Jun 16 2026 at 16:19 UTC