4.129.12 M_SQRT2

The square root of 2.