Generate digits of pi in python