available from <machine/ieee.h>
Patches provided by Joel Baker in PR 22280, verified by myself.
used in exec_format.c, loadfile_format.c, subsys_machdep.c etc. Per discussion with Christos.