つまり772は、sqrt(double)がもしコンパイラによってsqrtの実行が
1度しか行われないような形で最適化されてしまった場合、仮にsqrt(double)
が毎回異なる値を返したりsqrt内でカウントを行うような実装があった
場合困るじゃないか!と言いたいわけだ。
そんな最適化は行われないから、現実問題には何も問題はないわけだけど。