@standupmaths and following that Herculean effort, I spent some #UCUStrike days implementing the streaming digits algorithm I talk about in that video, in my calculator.
It turns out it's called constructive real arithmetic, and your android calculator already does it: twitter.com/aperiodical/st…