withDoubleResult :: IO CDouble -> IO Double
withDoubleResult io
  = do 
    x <- io
    return (fromCDouble x)
withDoubleResult :: IO CDouble -> IO Double
withDoubleResult io
  = do 
    x <- io
    return (fromCDouble x)
withDoubleResult io
  = do 
    x <- io
    return (fromCDouble x)