Putnam3145 5eab3eb454 Rounded the last digit of pi correctly (#37148) ...

It's important, fellas. Makes pi 0.000007 wrong instead of 0.00009 wrong.

2018-04-13 07:51:06 -05:00

6.6 KiB

Raw Blame History

View Raw