let term_mk_multq q = Arith.mk_multq q