[mkgmap-dev] Commit r3817: prepare source for high precision with > 30 bits