Bugfix: incorrectly displayed float values
When float values are displayed, DRT tries to show them with the minimum number of trailing zeroes to minimize the space it takes up. For example, 12.300 is shown as
12.3, and 230.000 is shown as
There was a bug that resulted in too many zeroes being trimmed- for example, 230.000 would be shown as
23, which is obviously incorrect. This problem has been fixed.
Thanks to Marko for reporting this bug.