let sym_mk_num = Arith.num