let i_compare zop a b = if zop (Big_int.big_int_of_string a) (Big_int.big_int_of_string b) then Ptrue else Pfalse