What is sin(2pi/3) equal to?