I like the way Jemplode handles it. Allows you to pad it to any number of digits in the specifier. Note that you should offer the option of either playlist position or tracknumber tag, just like Jemplode.