K = intersection(I,J)
K = intersection(I,J,Precision => prec)
Returns the intersection of the two input intervals or an empty interval if they do not intersect.