I was just reading "A History of Pi" which mentions this computer and its successor: "π was computed to 250,000 decimal places on an IBM 7030 at the Commissari

I was just reading "A History of Pi" which mentions this computer and its successor: "π was computed to 250,000 decimal places on an IBM 7030 at the Commissariat à l’Energie Atomique in Paris in February 1966, and a year later, in February 1967, a CDC 6600 was programmed by J. Gilloud and J. Filliatre, at the same institution, to yield 500,000 decimal places. The program was again based on Störmer’s formula (2) and the Shanks-Wrench method for checking the digits; the running time was 28 hours and 10 minutes (of which 1 hour and 35 minutes were used for conversion), and an additional 16 hours and 35 minutes were needed for the check. These quarter- and half-million digit values of π were published in reports of the Commissariat à l’Energie Atomique in Paris."