code: function getPrefix(cm, precise) {
      var digits = cm.state.emacsPrefix;
      if (!digits) return precise ? null : 1;
      clearPrefix(cm);
      return digits == "-" ? -1 : Number(digits);
    }
docs: Prefixes (only crudely supported)