Just brainstorming here, but how about creating a DateTime variable, setting it to the beginning of a day (which puts it at 00:00:00 time, I think?), then using addSeconds($variable, $seconds).
Then you could probably use formatTime or maybe even formatDateTime($variable, 'HH:mm:ss') on a string attribute.