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