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

Reply via email to