форматировать интервал времени для отображения часов, минут, секунд

Я пытался найти простой способ форматирования вывода из difftimeв ЧЧ:ММ:СС.мс. Пока я не встретил ничего, что меня бы удивило.

Я написал функцию ниже, которая почти делает это. Ограничением является представление чисел в виде значащих одиночных цифр. например, 2 часа, 3 минуты, 4,5 секунды становятся "2:3:4,5" вместо "02:03:04,5"

У кого-нибудь есть лучшее предложение?

format.timediff <- function(start_time) {
    diff = as.numeric(difftime(Sys.time(), start_time, units="mins"))
    hr <- diff%/%60
    min <- floor(diff - hr * 60)
    sec <- round(diff%%1 * 60,digits=2)

    return(paste(hr,min,sec,sep=':'))
}