http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51364
--- Comment #4 from Janis Johnson <janis at gcc dot gnu.org> 2011-11-30 21:44:19 UTC --- If following the spec works, then by all means do that. It's been quite a long time since I've thought about decimal float support and my memory is a bit hazy.