Round errors #2
Description
Context
The total time indicated at the end of the .log file might be spoiled by round errors, especially for navigation containing numerous legs (example).
Cause/solution
This is due to the conversion errors between the decimal format and the hh:mm:ss format.
Since leg time are first computed in decimal format, then converted to hh:mm:ss format, and that total time is the sum of the leg times in decimal format, then converted to hh:mm:ss format, the total time in hh:mm:ss might not be equal to the sum of leg time in hh:mm:ss format.