static Number ai_extractRepetitionPhrase(L<S> tok) {
  int i = jfind(tok, "<int> times");
  if (i < 0) null;
  Number n = parseIntLongOrBigInt(tok.get(i));
  removeSubList(tok, i, i+4);
  ret n;
}