如何在Python中将Pandas Dataframe中的123456.654321更改为12:34:56:654321

import pandas as pd

df = pd.DataFrame({'column_name': [123456.654321]})

def format_time(value):
    hours = int(value / 3600)
    minutes = int((value % 3600) / 60)
    seconds = int((value % 3600) % 60)
    milliseconds = int((value % 1) * 1000000)
    return f"{hours:02d}:{minutes:02d}:{seconds:02d}:{milliseconds:06d}"

df['column_name'] = df['column_name'].apply(format_time)

print(df)

  column_name
0  12:34:56:654321