"How to print floating-point numbers accurately" by Steele & White https://dl.acm.org/doi/10.1145/93548.93559