static DoubleRange intToDoubleRange(double factor, IntRange r) {
  ret r == null ? null : doubleRange(r.start*factor, r.end*factor);
}