first X digits of pi

[Jabba Laci]

Hi,

I'd like to work with the digits of pi. I would need high precision,
like 100,000 digits or even more. At the moment I download the
necessary data from the web
(http://newton.ex.ac.uk/research/qsystems/collabs/pi/) and parse it.
I just wonder: is there a more elegant way? I found a Perl solution:
perl -Mbignum=bpi -wle 'print bpi(1000)' . Is there something similar
in Python?

Thanks,

Laszlo