external arithmetic