How do you divide #1/sqrt(2)#?