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.