Ryū: fast float-to-string conversion
@article{Adams2018RyFF, title={Ryū: fast float-to-string conversion}, author={Ulf Adams}, journal={ACM SIGPLAN Notices}, year={2018}, volume={53}, pages={270 - 282} }
We present Ryū, a new routine to convert binary floating point numbers to their decimal representations using only fixed-size integer operations, and prove its correctness. Ryū is simpler and approximately three times faster than the previously fastest implementation.