Produces a stringified version of num's time portions (cf. hms), with the specified
precision for the seconds (treated as floating point). The
individual parts are labelled as specified in the labels
parameter (hours, minutes, seconds in that order). Leading parts with a
value of zero are omitted.