I would like to use time to benchmark some code. It seems user+sys is the right measure. But is it possible to get this output as a single number rather than having to add t
