All of the functions that i've looked at seem to only extract parts
from Intervals. What I need to do is to format the interval. For
instance, I have a Interval with the value 1 day 07:57:52. I would
like that in HH:MM:SS. So in the example the output would be
31:57:52.
How can this be done?