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