static DoubleRange toDoubleRange(IntRange r) {
  ret intToDoubleRange(r);
}