Highlighting for floats in pygments
GeoJSON service