awk '{printf"%.9f",$1+$2/3}'