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

double3_out() char * double3_out ( double3 *  d, int  maxdd  ) Output function for double3 values.