respect 8-byte width when printing time