Python 将前导零追加到给定值

我有如下各种输入，我需要将任何给定的数字设为四个字母，并附加前导零使其成为四个数字 在前面加上一个“00.00”，有什么建议吗

INPUT:-

val = int(95)
val = int(115)
val = int(5)


EXPECTED OUTPUT:-

00.00.0095
00.00.0115
00.00.0005

---

你可以这样做，假设00.00总是常数

print(["00.00.{:>04d}".format(v) for v in [95, 115, 5]])
# ['00.00.0095', '00.00.0115', '00.00.0005']

---

如何附加“00.00”？如果它已修复，只需附加一个literalWell，因为

00.00.0095

不再是一个int或我能想到的任何其他类型的数字，为什么不使用字符串并连接？

print'00.00.{0:04d}。格式（val）

根据链接到的重复答案，这不是int…这甚至不是有效的浮点