static double doubleScore(Scored s) {
  ret s == null ? 0 : (double) s.score();
}