I think you’re food saying 4:17. But, who’s likely to care? Someone who ran 4:18:01 and is irritated you rounded down to 4:17 and their round-down only gets them to “4:18”? How petty is it, at that point.
Tbt, no one gives a crap except other running obsessives that probably already looked your time up on the internet anyways.