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