Tagged arithmetic