模組化整數

這些是有點小提琴型別。它們也有邏輯運算子，例如 xor ，它們在上限環繞，再次為 0。

type Bits is mod 2**24;

L : Bits := 2#00001000_01010000_11001100# or 7;