If one defines x^y this way, one usually defines exp by a power series, and then defines e as the number such that e^x = exp(x).