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