The number sqrt 2 (square root of 2) is?