Windows 通过批处理脚本解析文件

我需要一个命令，该命令只打印文件指定行上的数字，如下所示：

Total Time : 20.500 s
Speed download : 934155.000 b/s
Size of file :19150191 b

我可以grep一整行：

findstr "Total" C:\file.txt

但是我有整个字符串

总时间：20.500秒

，但我只需要

20.500

setlocal enabledelayedexpansion
set x=1
for /f %%a in ('for /f "tokens=2 delims=:" %%i in (x.txt^) do @echo %%i') do (
 set val!x!=%%a
 set /a x+=1
)
set val

---

一个用于按

拆分的
：
，另一个用于按
拆分第二个标记，以除去单位、前导空格和尾随空格。
您希望如何处理这些值？展示它们？将它们存储在变量中？我需要有例如：echo atatat.txt；然后得到19150191的值，我想这可以解决你的问题：如果我在之前的评论中链接的问题解决了你的问题，请在这里的评论中这样说。此外，您还可以在此处发布带有结果代码的答案。