{-# htermination (+) :: Float -> Float -> Float #-}