[mkgmap-dev] Rounding off population

Hi I  have a feeling mkgmap rounds off population when a comma has been inserted thinking it is a 'continental decimal comma' In my style I have place=village & population < 30 {set place=hamlet;echotags "village to hamlet"} The following place node gets flagged up as it has been given a population of 1 https://www.openstreetmap.org/node/271408#map=18/50.82664/-1.70104 When I look at the osm tags it contains: population:1,350 Perhaps we should not round off population data? Just a thought. Nick