Pi calculated to 'record number' of digits

Much discussion already: http://news.ycombinator.com/item?id=1032063

A bit more information about it here http://bellard.org/pi/pi2700e9/