let cmp d1 d2 = 
  match d1, d2 with
    | Int, Int -> Binrel.Same
    | Int, Real -> Binrel.Sub
    | Real, Int -> Binrel.Super
    | Real, Real -> Binrel.Same