Pastable version of Fastest way to get value of pi