How do you divide #(1/2) div #(sqrt3/2)#?