string formatting: sub-second times