More than 4 years ago, I started mining Pi (π). Imagine how much Pi I have?