These are the “bit fiddling” types. They have logical operators, too, such as xor, and they “wrap around” at the upper bound, to 0 again.
type Bits is mod 2**24; L : Bits := 2#00001000_01010000_11001100# or 7;