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