fix #3731: use formatted numbers when calling navigation

Until now we used the raw number to string conversion, therefore giving
much more than the usual 6 digits after the comma to other applications.
Merge remote-tracking branch 'origin/release'