src/lib/libm/ld80