Update to v5... I thought I did that already... guess not. =) We got it now.
Its pretty much irrelevant now because of math.round_to_mintick() But the code still works. If you are putting it to a string you can use str.tostring(x, format.mintick) to make it so your decimal places display consistently even if they are zeros. It looks a lot better.