let multq q = Arith(Multq(q))