The fastest double-to-string algorithm you’ve never heard of

Part of

Efficient Data Structures And Pipelines