libc/sysdeps/ieee754/dbl-64