Option to increase geojson maxzoom?

[omasback]

I'm building a tool to draw features with millimeter precision. Unfortunately the default maxzoom of geoJson sources is 18, which equates to a rendering precision of about 10mm.

I believe the offending line is here: https://github.com/mapbox/mapbox-gl-draw/blob/c12fb64b90d00e877e94b12b60bc3b80e42924dd/src/setup.js#L85-L100

Im pretty sure this could be fixed by setting maxzoom of geojson data source to >=24, or even making it an init option.