static int toMS_int(double seconds) {
  ret toInt_checked((long) (seconds*1000));
}