valvetraces: make sure execution times are reported as floats

Right now, it would appear that we are reporting execution times as integer to the ci-dashboard.

See https://linux-perf.steamos.cloud/trace_execs/192554 as an example.

Let's fix that so that performance can be tracked more easily.