Pulling a New Proof from Knuth’s Fixed-Point Printer

A birthday proof for Don Knuth (Floating Point Formatting, Part 2)