How would you divide 24 by the square root of 2?