add Arithmetic case