{-# htermination (^) :: Float -> Int -> Float #-}