{-# htermination realToFrac :: Int -> Float #-}