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