Encoder - Arith Exp