Slightly deuglify semantic_arithmetic().