You are absolutely right. I am afraid there is no good solution for the problem except for performing symbolic calculations or simplifications.
A hacky solution could be to round the output of sin(x) to a given internal precision. This would only hide the real internal numerical problem, though.
For now, I have increased the internal precision to 30 significant digits and updated the value of Pi to be more precise than that. Of course, this doesn't really solve the problem... just shifts it by a few orders of magnitude :-)
Edit: Also, note that everything is fine if the answer is not zero (due to the rounding in the output):
Is there a way around this without doing all computation symbolically?