But it's obvious how this constant was chosen. With circular reasoning.
<rimshot/> ----- Original Message ----- > On Mon, 2015-10-12 at 16:05 -0400, aconway wrote: > > ... > > +1, that looks like the right fix. 3141 is an odd choice of default, > > even for a mathematician. > > > > At this point, I'm desperately trying to find an appropriate pi joke : > -) > > Andrew > >
