Timing information out of the profiler

Hi,

Is is possible to get timing information out of ProfileInfo? Looking at the API for ProfileInfo, it seems to me that it only reports edge and execution counts, not timing information.

Michael