Higher precision when writing out times