in reply to How do I print/round a number to a given number of decimal places?
printf "%23.20f\n",$_+.425 for 7, 8; [download]