Does anyone know if the MySQL core.uptime unit is in milliseconds?