Time to Measure the Pi