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