let inter d1 d2 =
  match d1, d2 with
    | Real, Real -> Real
    | Int, _ -> Int
    | _, Int -> Int