What is the value of sin(pi/3)?