--- gawk-3.1.4l/main.c.locale	2005-06-15 17:58:08.127487440 +0200
+++ gawk-3.1.4l/main.c	2005-06-15 17:58:25.088908912 +0200
@@ -248,6 +248,9 @@
 	 */
 	setlocale(LC_NUMERIC, "C");
 #endif
+#if defined(HAVE_LOCALE_H)
+	loc = *localeconv();	/* Make a local copy of locale numeric info */
+#endif
 #if defined(LC_TIME)
 	setlocale(LC_TIME, "");
 #endif