Definition:Integer Addition