{-# htermination (**) :: Float -> Float -> Float #-}