Linear arithmetics bug fixes. Denser angle probing in convex hull.
Remove redundant faces from convex hull (disj. elim. answer).