SQRT2 = 1.4142135623730951

Square root of 2.