[math-fun] Exponentiation of surreal numbers

Can someone please provide the most up-to-date definition of a^b where a and b are surreal numbers? (I hope this coincides with a^b = exp(b * log_e(a)) for a > 0, where exp is given by the usual Taylor series and log_e is its inverse function.) --Dan A.