Add description of floating-point theories to release notes.

Thanks to Anthony for the raw material.
Minor polishing in release notes.