precision argument

[timelyportfolio]

As we were working through r-spatial/mapedit#63, I learned from geoman-io/leaflet-geoman#306 (comment) that with Leaflet/Leaflet#5444 leaflet > 1.1 added a precision argument to toGeoJSON(). The new default of 6 is probably enough in most cases, but @schloerke and @bhaskarvk what would you think about adding a precision argument to leaflet.draw to adjust higher or lower?

[bhaskarvk]

I'll be resuming development of leaflet.extras in Dec and will tackle this in that round. Thanks!

[trafficonese]

I was trying to include the precision argument. On the JS side the toGeoJSON respects the argument, but when it is returned to Shiny via Shiny.onInputChange, the coordinates will have maximum 6 digits unless one sets options(digits = 18).

So I am thinking of directly using that option with getOption("digits", 6) and not include a new argument.
What do you think @timelyportfolio ?