The square root of 2 divided by the square root of \pi , \sqrt{2} / \sqrt{\pi} .
Definition at line 141 of file constants.hpp.