static double preciseCenter(IntRange r) {
  ret (r.start+r.end)/2.0;
}