Draft "Unsafe fp optimizations" project description.

[Gabriel Dos_Reis]

| By the way, it is very useful to have attributes or queries of some kind
| that tell a program whether it has proper denormals and signed zeroes. In
| Ada these attributes are defined in the standard (S'Denorm and
| S'Signed_Zeros).

C++'s numeric_limits<> sort of is designed to provide such facilities 
(among other things, telling whether the arithmtic data type complies
to IEEE-754 or not).  However, there is no
numeric_limits<>::has_signed_zero -- which is not required by LIA-1, BTW.

-- Gaby