libc/sysdeps/x86_64/soft-fp