Several approaches to this were discussed at Convert seconds into a formatted ddd:hh:mm:ss string. Perhaps one of them is what you are looking for.

-Blake