Converting binary floating-point numbers to shortest decimal strings: An experimental review | Synapse