17

Converting Binary Floating-Point Numbers to Shortest Decimal Strings