HelenOS sources

uspace/lib/c/include/ieee_double.h
uspace/lib/posix/include/libc/ieee_double.h