let mk_num = Term.mk_num