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
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