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