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