How do you evaluate sin((23pi)/6) ?