what is the square root of 4√2 as a decimal place.