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