bjh21@netbsd.org said:
> That sounds OK to me.  When I get a chance, I'll try sticking your
> suggested changes into my toolchain and seeing what happens. 

Cool.  You will probably have to update sys/arch/arm??/include/ieee*.h to 
handle the new formats.  You may also need to tweak the soft-float libs as 
well.

R.