--- rpl/src/formateur.c	2011/06/24 20:31:35	1.32
+++ rpl/src/formateur.c	2011/08/06 10:32:12	1.38
@@ -1,6 +1,6 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.1.0.prerelease.4
+  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))