Calculation of the decimals of pi by the
'spigot' algorithm of Rabinowitz and Wagon
The source.