debug(): format timestamps with 3 digits, e.g. 0.1 -> 0.100