search for: decimal64

Here is the link: https://groups.google.com/forum/#!topic/ia32-abi/nq6cvH_VVV4 -- H.J.

...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 joseph at codesourcery.com

...if (t != first+1) first = t; } break; case 'D': if (first+1 != last) { switch (first[1]) { case 'd': - db.names.push_back("decimal64"); + db.names.push_back(db.template make<name_type>("decimal64")); first += 2; break; case 'e': - db.names.push_back("decimal128"); + db.names.p...