2.2.13 M_SQRT1_2

The constant 1/sqrt(2).