Re: "timeinterval" type conversion problem

[dom96]

You can add a `TimeInterval` to a `TimeInfo` and then use `times.format` (I 
think)