arithmetic update