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