We now use Number instead of Double for reading "coordinates" from GeoJSON representations. Original pull request: #369.