SQRT2 = 1.4142135623730951

Not documented.