Dragonbox: A New Floating-Point Binary-to-Decimal Conversion Algorithm [pdf]