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