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