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