[mkgmap-dev] Divide number in style file

Is it possible to divide a number by a factor in the style file? ( mkgmap:country=CHN | mkmgap:countrz=CN | mkgmap:country=IND | mkgmap:country=IN ) & ( place=city | place=island | place=town | place=village ) & population=* {set population='${population}/7'} Did not work. I intend to divide the population in cities in China and India because otherwise cities clutter up the map there (also in India they do not use admin level ... which could be an alternative). -- Felix Hartman - Openmtbmap.org & VeloMap.org