Update arithmetic.hs