Fixed #3

Adding format to how the document is read, making the numbers precise
in their dimension and specification (no more digits than those that
really exist in the HISTORY file).