提取所有数字
List<String> get extractNumbers { return RegExp(r'\d+').allMatches(this).map((m) => m.group(0)!).toList(); }