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

double2_out() char * double2_out ( const double2 *  d, int  maxdd  ) Output function for double2 values.