Patch to rework IEEE floating point checks

[Joseph S. Myers]

On 1 Mar 2002, Richard Sandiford wrote:

> + a NaN.

@. for full stop at end of sentence after capital letter (including for
the last sentence of a paragraph, since more might be added).

> + towards -infinity and towards +infinity.

@minus{} for minus signs.

> + a floating-point mode and the target format is IEEE.

@. again.

-- 
Joseph S. Myers
jsm28@cam.ac.uk