The square root of 2 as an untyped floating constant (about 1.41421356).
SQRT2 :: 1.41421356237309504880