let i_compute zop a b =
  let z_a = Big_int.big_int_of_string a in
  let z_b = Big_int.big_int_of_string b in
  Tconst(ConstInt(Big_int.string_of_big_int (zop z_a z_b)))