Use lat/long decimal numbers for cities.

I'm having an internal war with myself over the term "decimal" above, because it was using base-10 beforehand. Maybe "fractional" is better? I don't want to drive myself crazy over nothing.