improved specialisation for arithmetic operations