Fix formatting of execution_time, latency.

Fixes #5427