fix minor floating point errors in geolocation backend