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