operator<< for floating-point durations always produces output with six digits after the decimal point, and doesn’t use the stream’s locale either. Proposed change: Rewrite the specification to not rely on to_string() for floating-point formatting.