Document and implement "precision record" in portable file format.