sqrt_double