id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
17530	Complain about ele values with decimals	GerdP	team	"See https://www.openstreetmap.org/changeset/61665082 and https://www.openstreetmap.org/node/5832707336

I think JOSM should complain when someone adds ridiculous number of decimals. Autofix could be to round to full meter or feet (depending on the given unit)."	enhancement	closed	normal	19.03	Core validator		fixed		Klumbumbus