Fix but in arith

Compare the type of both left and right argument, not left twice.
Merge pull request #1 from mwanna/patch-1

Fix bug in arith