#include <float128_private.h>
#include "../ldbl-128/s_f64xsqrtf128.c"