let mk_real =
    let int = Real(Dom.Int) 
    and real = Real(Dom.Real)
    and nonint = Real(Dom.Nonint) in
      function
        | Dom.Int -> int
        | Dom.Real -> real
        | Dom.Nonint -> nonint