Секунды имеют 4 цифры, если я установлю миллисекунды в одну цифру (.3f <-> .1f).Неверная отметка времени

Question

Выход

string.format("#%02d:%02d:%06.3f#", math.floor(timestamp/3600), math.floor(timestamp/60)%60, timestamp%60):gsub("%.","-")

равен

#00:00:00-000#

Выход

string.format("#%02d:%02d:%06.1f#", math.floor(timestamp/3600), math.floor(timestamp/60)%60, timestamp%60):gsub("%.","-")

равен

#00:00:0000-0#

Но я хочу

#00:00:00-0#

Также: Какой код можно использовать для копирования этого вывода в буфер обмена с помощью кнопки?