let rec different e1 e2 = match e1 , e2 with | Tint x1 , Tint x2 -> not (My_bigint.equal (My_bigint.of_string x1) (My_bigint.of_string x2)) | _ -> false