Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions