Indeed this is informal and could be made more rigorous, but even at the highest level of rigor, I think it's most natural to do integral exponents and then rat

Indeed this is informal and could be made more rigorous, but even at the highest level of rigor, I think it's most natural to do integral exponents and then rational. Indeed you have to construct the integers before you can construct the rationals.