file_observer prints real numbers with low precision

[kyllingstad]

It looks like file_observer simply uses the default precision for real numbers, which is only 6 digits. This is vastly insufficient for many purposes. (The case that prompted me to write this report is latitude and longitude, quite common in the maritime domain.)

Either, real numbers should be printed with maximum precision, or it should be configurable in LogConfig.xml.