The basis for the editor is my open source drawing plugin for leaflet - Leaflet-Geoman. It supports circles because Leaflet supports circles. GeoJSON is just a format to export Leaflet-Layers - so we made Circles work even though it's custom.

You're definitely right about the unit-less part. Something I should be fixing.