sS renderElapsedTimePleasantly(long ms default lastTiming()) { double secs = toSeconds(ms); if (secs >= 1) ret formatDouble(secs, 3) + " s"; ret ms + " ms"; } sS renderElapsedTimePleasantly(Runnable r) { long time = sysNow(); r?.run(); ret renderElapsedTimePleasantly(sysNow()-time); } sS renderElapsedTimePleasantly(Duration d) { ret d == null ?: renderElapsedTimePleasantly(d.toMillis()); }