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