(j3.2006) decimal floats

[Van Snyder]

On Fri, 2008-01-11 at 16:52 -0500, Jim Xia wrote:
> So if we have to keep the decimal float as a part of F2008, then our
> best choice is to ban the mixing between binary and decimal.  I'm
> considering submitting a proposal for the next J3/WG5 meeting just for
> that. 
> 
> Any thoughts are welcome. 

I think it would be good enough for processors to issue a warning, and
leave the standard silent on the issue.