I could not find anything about reformatting MDC values, so this will just print a mildly meaningless 10-digit number, I fear. What we can do is to print the time of day in UTC, side-stepping the expensive calendar formatting issues. This will usually be well correlated with the SLF4J timestamp because the delay between the generation of the Event and the call to `log()` should not be that long.