整数冪と一般の冪があって部分的に一致するのはいいとして、
0^yはどうするのかとか、あるいはそれらを包含するような綺麗な定義は無いの?