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