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