--- rpl/src/formateur.c	2011/03/17 21:42:51	1.23
+++ rpl/src/formateur.c	2011/09/26 15:57:10	1.40
@@ -1,6 +1,6 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.0.21
+  RPL/2 (R) version 4.1.4
   Copyright (C) 1989-2011 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
@@ -392,7 +392,7 @@ formateur(struct_processus *s_etat_proce
 --------------------------------------------------------------------------------
 */
 
-		if (alsprintf(&chaine, "Socket %016lX",
+		if (alsprintf(&chaine, "Socket $ %016lX",
 				(unsigned long) (*((struct_socket *)
 				((*s_objet).objet))).socket) < 0)
 		{
@@ -3653,6 +3653,30 @@ formateur_reel(struct_processus *s_etat_
 
 	if (type == 'R')
 	{
+#		ifdef FP_INFINITE
+		int		signe;
+
+		if ((signe = isinf((*((real8 *) valeur_numerique)))) != 0)
+		{
+			if (signe > 0)
+			{
+				strcpy(chaine, "infinity");
+			}
+			else
+			{
+				strcpy(chaine, "-infinity");
+			}
+
+			return(chaine);
+		}
+#		endif
+
+		if (isnan((*((real8 *) valeur_numerique))))
+		{
+			strcpy(chaine, "undef");
+			return(chaine);
+		}
+
 		tampon_reel = *((real8 *) valeur_numerique);
 
 		if (tampon_reel > ((real8) 0))
@@ -3883,8 +3907,15 @@ formateur_reel(struct_processus *s_etat_
 
 			if (exposant >= 0)
 			{
-				sprintf(format, "%%.%luf", (longueur_utile_limite - exposant
-						- 1));
+				if ((exposant + 1) < longueur_utile_limite)
+				{
+					sprintf(format, "%%.%luf", (longueur_utile_limite - exposant
+							- 1));
+				}
+				else
+				{
+					strcpy(format, "%.0f.");
+				}
 			}
 			else
 			{