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)))