integer_arithmetic