How to remove "leading" zeros from version number string?

Question

How can I remove the "leading" zeros from following version number string?

5.002.008.80911 --> 5.2.8.80911

Thx.

Answer 1

Using str.split with str.join

Ex:

s = "5.002.008.80911"
print(".".join(str(int(i)) for i in s.split(".")))

Output:

5.2.8.80911