e88c1a3d49
- instead of adding one and ignore the postdecimals in FormatTools.minutesToTimeString, round to integer
- instead of adding one and ignore the postdecimals in FormatTools.minutesToTimeString, round to integer