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