random tests? It's quite possible you ran into floating point inexact comparisons, like I did. I had to hack it with a margin...