printf "%23.20f\n",$_+.425 for 7, 8;