提取字符串中的数字 Extract numbers from string
static String extractNumbers(String str) { return str.replaceAll(RegExp(r'[^0-9]'), ''); }