Format %D as microseconds in integer value

Do as we have documented we do (and Apache does), printing the %D as
request time in microseconds, truncated to an integer value.