Per riferimento, se non hai il controllo sulla generazione dei valori numerici, puoi eseguire il padding con:
% value=314
% echo ${(l:10::0:)value}
0000000314
% echo $value
314
Usa il -w
flag a seq
(in qualsiasi shell):
$ seq -w 1 10
01
02
03
04
05
06
07
08
09
10