src/lib/libc/softfloat