Download from OSM generates rounded lat/lon

[osm@…]

Going:

File->Download from OSM

and clicking the Bounding Box tab gives four corners (for the current area in the view-finder), each of which is shown to an excess 14 decimal digits. Eg.

53.30857243961813 -2.6661272886038416
53.31644669215377 -2.6469121273307743

But, the URL given below (to allow pasting back into a browser) is rounded down to zero decimal digits, making it utterly useless:

​http://www.openstreetmap.org/?lat=53.0&lon=-2.0&zoom=14

Ideally the four corners displayed and download URL should all be given to 4-6 decimal places.

[stoecker]

Fixed in r1740. Java optimizations are a bit too optimistic.

P.S. The Startpage is NOT the right place to announce minor issues which are fixed in next days build!