Converting Binary Floating-Point Numbers to Shortest Decimal Strings: An Experimental Review
When sharing or logging numerical data, we must convert binary floating-point numbers into their decimal string representations. For example, the number $\pi$ might become …