I would suggest that rather than using old terms such as "single",
"double" and "128-bit extended" to describe floating-point formats, and
rather than referring to "IEEE-754R", the names from IEEE 754-2008 should
be used. That is, binary32, binary64, binary128. (When referring to
decimal32, decimal64, decimal128 you still need to specify somewhere that
it's BID rather than DPD. And you'll still need to refer to 80-bit
extended since that's not an IEEE interchange format.)
--
Joseph S. Myers
jos...@codesourcery.com