Hey guys!
Check here, it is possible to format numbers to a specific number of digits, using makefilename %03 to set a number with 3 digits. 001 012 888. It turns the values into symbols, but that doesnt really matter when it is for the display, it works fine here: