>>793
0の0乗=1 が便利だというような意味では、
0の正実数乗は全て =0 にしとけば便利なんだと思う。

もう少し拡げて、負数の有理数乗も
指数の既約分母が奇数の範囲まで
拡張してもいいのかもしれない。