将秒转换为(小时:分钟:秒:毫秒)时间的最佳方法是什么？

import datetime

seconds = 12345
time_format = datetime.time(0, 0, 0) + datetime.timedelta(seconds=seconds)
formatted_time = time_format.strftime('%H:%M:%S.%f')
print(formatted_time)

const seconds = 12345;
const date = new Date(seconds * 1000);
const formatted_time = date.toISOString().slice(11, 23);
console.log(formatted_time);

import java.time.Duration;

public class Main {
    public static void main(String[] args) {
        int seconds = 12345;
        Duration duration = Duration.ofSeconds(seconds);
        long hours = duration.toHours();
        duration = duration.minusHours(hours);
        long minutes = duration.toMinutes();
        duration = duration.minusMinutes(minutes);
        long secondsPart = duration.getSeconds();
        long millis = duration.toMillis() % 1000;
        String formatted_time = String.format("%d:%02d:%02d.%03d", hours, minutes, secondsPart, millis);
        System.out.println(formatted_time);
    }
}

using System;

class MainClass {
  public static void Main (string[] args) {
    int seconds = 12345;
    TimeSpan time = TimeSpan.FromSeconds(seconds);
    string formatted_time = string.Format("{0:D2}:{1:D2}:{2:D2}.{3:D3}", (int)time.TotalHours, time.Minutes, time.Seconds, time.Milliseconds);
    Console.WriteLine(formatted_time);
  }
}