Element that represents this element module another element.
Element that multiplies this element with another element.
Element that adds another element to this element.
Element that adds another element to this element. The ++ notation is necessary to distinguish from string addition.
Element that subtracts another element from this element.
Element that divides this element from another element.
Element that represents the negative of this element.
Elements over Ints on which element-level Int operators are defined.