sS regexp_integer_maxDigits(int minDigits) {
  ret "\\d{" + minDigits + ",}";
}