src/lib/libm/ieee