Arithmetic with integers