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