How do you divide 1/sqrt(2)?