巾乗の定義を y≧0 にしたのでは、指数関数として
不便かと思う。x＞0 のほうが、マシではないか？