Modulo remainder constraint matching natively bounded data models.
Uint8 operator %(Uint8 other) => Uint8.from(value % other.value);