static float rangeLength(Range r) {
  ret r == null ? 0 : r.length();
}