Support editing arbitrary precisions for GlobeCoordinates

Fixes bug 65535.