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