--- rpl/src/formateur.c	2011/04/11 12:10:05	1.25
+++ rpl/src/formateur.c	2011/08/06 10:32:12	1.38
@@ -1,6 +1,6 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.1.0.prerelease.0
+  RPL/2 (R) version 4.1.2
   Copyright (C) 1989-2011 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
@@ -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
 			{