从Python中的字符串中提取十进制数字