cast `$time` to integer