let sub = sub_big_int