TAGs: arithmetic