seconds_to_string: Convert seconds after midnight to time string
Description
Converts seconds after midnight as integers to strings in the "HH:MM:SS"
format.
Usage
seconds_to_string(seconds)
Value
A time-representing string.
Arguments
- seconds
An integer.