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