shell script to format number