ok: arithmetic