static Map<BigInt, S> ai_search_allNumbered_asMap(S baseTerm) {
  baseTerm += " ";
  new TreeMap<BigInt, S> map;
  for (S s : fullIndexedTermsStartingWith(baseTerm)) {
    S i = trim(substring(s, l(baseTerm)));
    if (isInteger(i))
      map.put(bigint(i), s);
  }
  ret map;
}