Update README, VERSION and CHANGELOG.
Fix potential numeric issue in ResultFormattingTest.
Update README.