Added DoubleInterval for intervals of type double