Value of 7 root 2