Go Pulling a New Proof from Knuth’s Fixed-Point Printer A birthday proof for Don Knuth (Floating Point Formatting, Part 2)