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