I'm doing some extensive testing right now. We actually might not need GMP, but I'm not sure yet. However, I definitely need to improve the current segment intersection function, because now it misses many intersections (which spoil my module). I know how to do it and I can provide the fixed version to someone who can commit to trunc.