static BigInteger[] extractIntsFromString(S s) {
  Pattern p = Pattern.compile("-?\\d+");
  Matcher m = p.matcher(s);
  List<BigInteger> list = new ArrayList<BigInteger>();
  while (m.find())
    list.add(new BigInteger(m.group()));
  return list.toArray(new BigInteger[list.size()]);
}