static void printTimingDividedBy(long n) {
  print(formatDouble_significant(lastTiming()/(double) n, 1) + " ms (" + n(n, "repetition") + ")");
}