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