{-# htermination (^^) :: Fractional a => a -> Int -> a #-}