first round of cmp_num
more cmp_num, MInteger -> MInt