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