模块化整数

这些是有点小提琴类型。它们也有逻辑运算符，例如 xor ，它们在上限环绕，再次为 0。

type Bits is mod 2**24;

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