--- /dev/null
+import "Prelude"\r
+\r
+f :: Float\r
+f = 1.0\r
+\r
+d :: Double\r
+d = 1.0\r
+\r
+d2f :: Float\r
+d2f = fromDouble d\r
+\r
+f2d :: Double\r
+f2d = toDouble f\r
+\r
+main = show (d+f2d, f+d2f)\r
+--\r
+(2.0, 2.0)
\ No newline at end of file