module FromIntegral where

main :: Fay ()
main = print $ fromIntegral' 5

fromIntegral' :: Int -> Double
fromIntegral' = fromIntegral