Modular arithmetic integer type
```rust use typenum::U17;
type M17 = Unsigned
asserteq!(M17::from(16) + 14.into(), 13.into()); asserteq!(M17::from(11) - 15.into(), 13.into()); asserteq!(M17::from(11) * 15.into(), 12.into()); asserteq!(M17::from(13) / 4 .into(), 3.into()); ```