The value of 1 over the square root of 2, 1 / \sqrt{2} .
Definition at line 147 of file constants.hpp.