Converting Binary Floating‐Point Numbers to Shortest Decimal Strings: An Experimental Review | Synapse