It is common to write floating-point numbers to text and read them back with another tool. This takes forms such as writing ...