[math-fun] Correction Re Exponentiation of surreal numbers