{-# htermination compare :: Float -> Float -> Ordering #-}