double2_add double2_cmp double2_eq double2_make double2_out double2_set double3_add double3_cmp double3_eq double3_make double3_out double3_set double4_add double4_cmp double4_eq double4_make double4_out double4_set

double4_out() char * double4_out ( const double4 *  d, int  maxdd  ) Output function for double4 values.