Does it work if they intersect in a single (non vertex?) point? It seems like this would require exact equality testing of floats, which is impossible. So I assume in practice you allow for some margin.