Sagemath - 比较表达式和常量总是如此

Question

在SageMath中进行比较后，总是给出True，意思是，在第一个if条件下打印出来＆＃39; Not zero＆＃39;，在第二个中它打印出来＆＃39; Zero＆＃39;。

a = sin(1/2*arctan2(0, sqrt(3)-1))

if 0 != a:
    print('Not zero')
else:
    print('Zero')

if 0 == a:
    print('Zero')
else:
    print('Not zero')

这应该是未定义的行为还是我错过了什么？ 我知道在a上使用.n（num_dec）会给出正确的答案，但我对为什么这个比较总是返回True感兴趣。

提前致谢。