sS digitsOnly(S s) {
  ret filterChars isDigit(s);
}