Pi
= 3;08,29,44,00,47,25,53,07,25
ce qu'il convertit en décimal
Pi
= 3, 141 592 653 589 793 2
5
Le calcul est
exact à 16 décimales (la 17-ème serait un 4 et non
un
5, en arrondissant à cette
précision, ou un 3, par défaut). Le pari est donc tenu,
et fait de lui le premier à franchir la barre symbolique des 10
décimales! Un record qui s'inscrit entre celui du Chinois Zu
Chongzhi (6 décimales, en 480) et celui de Romanus
(15 décimales, en 1593): record durable!