Arith -- partial implementation. Boring..