Commented out currently useless IntegerOperators