如何在前导零数字中递增int数字？

def increment_with_leading_zeros(number, increment):
    # 解析前导零数字为整数
    int_number = int(number)

    # 递增整数
    int_number += increment

    # 转换为字符串形式
    str_number = str(int_number)

    # 计算需要补充的前导零个数
    leading_zeros = len(number) - len(str_number)

    # 在字符串前面补上前导零
    incremented_number = '0' * leading_zeros + str_number

    return incremented_number

# 示例用法
number_with_zeros = "000123"
increment = 10
result = increment_with_leading_zeros(number_with_zeros, increment)
print(result)  # 输出：000133