let sym_mk_multq = Arith.multq