imp_int-0.3.0 has been yanked.
Thinly-wrapped integer types modelling IMP integer semantics.
In a general sense, an IMP integer is just an unsigned integer with addition and multiplication defined in the normal sense, and where subtraction is defined to saturate at 0. However, this is complicated by the fact that IMP does not define integer overflow; it forces implementations to decide how correct they wish to be.
For this reason, the types in this crate implement checked addition and multiplication in
both debug and release builds (excluding ImpBigInt, which avoids these checks by being
practically unbounded).