man: document how to set and obtain time stamp precision