Section Navigation
Add missing space in format_seconds(t <= 60.0) output, e.g. ‘12ms’ → ‘12 ms’.
format_seconds(t <= 60.0)