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