We have decided to go with milliseconds everywhere, so `ctf.json` should probably be changed to reflect this decision.