Integer addition rules