Reorganize the floating point semantics description.
Reorganize the floating point semantics description.

Put the mention of IEEE-754 in one place, next to the floating point
operations, so that we can also list the exceptions next to it. Also
mention the rounding mode and exceptions here.

lynnboy/design