Added a very lazy way to get the first 13 digits of pi