Converting Binary Floating-Point Numbers to Shortest Decimal Strings · HackerTrans