import Text.Printf (printf) main :: IO () main = do putStrLn "decimal" n <- readLn :: IO Double printf "%.12f\n" n