[Easytag-mailing] Auto fill with zeros ?

[b4283 <da mi spirit gmail com>]

First comes compliment:
EasyTAG is really powerful software, especially auto detecting filenames and renaming from tags is just outstanding.

But i wonder if there's a function or method to format numbers into certain 
Like auto fitting zeros, 
Something like $num(%n, 4) outputs 0001 or 0002 ? $float($n, 3) outputs 1.000 ?
Please tell me how to do this because I already read the docs and found nothing about this.
Or plz consider this as a feature request.

regards,
b4283.