extract_floating() vs floatformat_to_doublest()

[Andrew Cagney]

No one expressed a preference!

> I've two possabilities in mind:
> 
>     o    dump extract/store floating
>         (fixing floatformat_*_doublest())
> 
>     o    dump floatformat_*_doublest
>         (possibly replace *_floating()
>         with extract,store_floatformat())
> 
> my current preference is the former.  Does anyone have a compelling argument for the latter?

so the former it is ....

	Andrew