a few operations on integers in Symbol.Arith