Addition inverse and absolute value of an integer