`GeolocationPositionOptions` come from the closure lib externs (`externs/w3c_geolocation.js`)