I am trying to get a list of numbers from some hacked-together log files using zgrep. So, I am using:

```
zgrep -ie "total time: .* ms" *

```

This returns the whole line that I care about. I'd just like the number. (after total time but before the 'ms') Is there any way to get this information without further processing?