ints_and_floats.dot

digraph IntsFloats {
  ordering = out;
  node [shape=none,width=0.9]

  subgraph IntFloat {
    rank = same;
    Int
    Float
  }

  subgraph Concrete {
    rank = same;
    node [width=1]

    Int8
    Int16
    Int32
    Int64

    Uint8
    Uint16
    Uint32
    Uint64
    Char

    Float32
    Float64
  }

  Any -> Number -> Real
  Real -> Int
  Real -> Float

  Int -> Int8
  Int -> Int16
  Int -> Int32
  Int -> Int64
  Int -> Uint

  Uint -> Uint8
  Uint -> Uint16
  Uint -> Uint32
  Uint -> Uint64
  Uint -> Char

  Float -> Float32
  Float -> Float64
}