以下代码可以提取该数字：

The following code can extract the number:

aStr = a.replaceAll(new RegExp(r'[^0-9]'),''); // '23'

您可以使用以下方法将其解析为整数：

You can parse it into integer using:

aInt = int.parse(aStr);