static DoubleRange growRange(DoubleRange r, double amount) {
  ret r == null ?: doubleRange(r.start-amount, r.end+amount);
}