F#https://github.com/OpenSeaMap/depth/issues/81: Add Scale