What's an example where it can't decide the sign? Is it a precision issue?