Cool, yeah, the digits themselves are at most 0.5 byte each ;). I don’t know enough about the higher level algorithm to say exactly how the rest of the storage is being used. There is a book called “Pi and the AGM” about pi computation and similar algorithms that is supposed to be really good, but it looks over my head mathematically.