Latitude, longitude definitions

[evanp]

Latitude and longitude are hard!

I suggest we stick with the following conventions:

• We store data as integers to prevent floating-point inaccuracies
• We store integers upshifted by 4 places. That covers a spatial granularity of 11m, which is roughly what commercial GPS can cover, and which is probably fine for locating cities, office buildings, etc.