Arithmetic implementation