static void sleepSeconds(double s) {
  if (s > 0) sleep(round(s*1000));
}