{-# htermination truncate :: RealFrac a => a -> Int #-}