An O(1) double precision interval set class in C#