let term_mk_num = Arith.mk_num