pi

Calculation of the number PI

I did this for pi-day 2020. I wanted to cover 3.141.592 digits. And it works fine.

Still, this takes some hours to compute. :)