*** src/backend/utils/adt/formatting.c.orig	2007-11-16 01:34:41.000000000 -0200
--- src/backend/utils/adt/formatting.c	2007-11-17 17:30:00.000000000 -0200
***************
*** 3917,3931 ****
  
  		/*
  		 * Number thousands separator
- 		 * 
- 		 * Some locales (e.g. broken glibc pt_BR), have a comma for
- 		 * decimal, but "" for thousands_sep, so we might make the
- 		 * thousands_sep comma too.  2007-02-12
  		 */
  		if (lconv->thousands_sep && *lconv->thousands_sep)
  			Np->L_thousands_sep = lconv->thousands_sep;
  		else
! 			Np->L_thousands_sep = ",";
  
  		/*
  		 * Currency symbol
--- 3917,3927 ----
  
  		/*
  		 * Number thousands separator
  		 */
  		if (lconv->thousands_sep && *lconv->thousands_sep)
  			Np->L_thousands_sep = lconv->thousands_sep;
  		else
! 			Np->L_thousands_sep = "";
  
  		/*
  		 * Currency symbol
***************
*** 3943,3949 ****
  		Np->L_negative_sign = "-";
  		Np->L_positive_sign = "+";
  		Np->decimal = ".";
! 		Np->L_thousands_sep = ",";
  		Np->L_currency_symbol = " ";
  	}
  }
--- 3939,3945 ----
  		Np->L_negative_sign = "-";
  		Np->L_positive_sign = "+";
  		Np->decimal = ".";
! 		Np->L_thousands_sep = "";
  		Np->L_currency_symbol = " ";
  	}
  }