Add, sub and mod impls