[math-fun] More definitive reference (was Re: e^(pi rt 163) =)