static void fractionDone(double fraction) {
  fraction = max(0, min(1, fraction);
  consoleTitleStatus((fraction == 1 ? "100" : formatDouble(fraction*100, 1)) + "%");
}