Addition operations spec and implementation