Correct inconsistencies in floating-point abs spec

As noted in JDK-8164199, a close reading of the specification of the Math and StrictMath abs methods reveals some inconsistencies in the text of the specification versus the operational semantics of the sample code.

To resolve this, the sample code should be slightly modified and demoted to informative rather than normative text.