Python3 formato 4 cifre intero

formato numero di differenze in python

# make the total string size AT LEAST 9 (including digits and points), fill with zeros to the left
'{:0>9}'.format(3.499)
# >>> '00003.499'