[mkgmap-dev] Commit r3819: fix typo: use int instead of double for duplicate point detection

Version mkgmap-r3819 was committed by gerd on Wed, 22 Feb 2017 fix typo: use int instead of double for duplicate point detection No change in output expected, but maybe a minimal performance impact http://www.mkgmap.org.uk/websvn/revision.php?repname=mkgmap&rev=3819