有没有一种方法可以将四位数转换成r中的时间值？

def convert_to_time(num):
    hours = num // 100
    minutes = num % 100
    time_str = f"{hours:02d}:{minutes:02d}"
    return time_str

# 示例输入
num = 1230
time_value = convert_to_time(num)
print(time_value)