double->xdouble_t