--- rpl/src/formateur.c	2011/07/25 07:44:54	1.35
+++ rpl/src/formateur.c	2011/08/06 10:32:12	1.38
@@ -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))