Pi and its digits