What is #sin (pi/3)# of unit circle?