I’m not sure this reasoning holds. We’re talking about 0, and 0^z with z<0 is division by zero.

I do think it makes sense for it to be 1 in some contexts.