awk 'BEGIN {printf("%8.3f", 3.141592654)}' 3.142
awk 'BEGIN {printf("%08.3f", 3.141592654)}' 0003.142
awk 'BEGIN {var = sprintf("%03d", 3.141592654); print var}' 003