DoubleRange.empty constructor

DoubleRange.empty()

Implementation

DoubleRange.empty() : super.empty();