[mkgmap-dev] rounding hyper-accurate elevations ${ele}

I was slightly surprised when I discovered the altitude "241.934997558594" on my map. This is actually the hyper-accurate information from the database: https://www.openstreetmap.org/node/32969675 (there's any more such examples). Since I do not know the reason for this value, I don't want to change the database. Does mkgmap provide a function similar to Math.round() or should I simply use ${ele|part:".:1"} to skip the decimals?