Class DoubleRangeForIntRangeAdaptor