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