Calculation times for Pi to 5000 digits on a Raspberry Pi