src/lib/libc/softfloat/bits64