double_type
double_type *px, /* packed double, sign/exponent/upper 20 bits */
double_type x[2];
double_type tx;
double_type x, /* packed double, sign/exponent/upper 20 bits */
double_type double_reg;
extern void unpackdouble(fp_simd_type *, unpacked *, double_type, uint_t);