let i_apply zop a = let z_a = Big_int.big_int_of_string a in Tconst(ConstInt(Big_int.string_of_big_int (zop z_a)))