On 2/8/2013 2:23 PM, Nijso Beishuizen wrote: Why are you declaring a and b to be constants? It seems to provoke a bug. Is (a^2-b>0) now returns unknown. Interestingly, declaring only a to be a constant does not break it. The bug, it seems, is not in atan2, but elsewhere. / /