diff -r 3bde58e2d5ca -r 44897b1ba4e2 gui/graph_displayer_canvas-node.cc
--- a/gui/graph_displayer_canvas-node.cc	Wed Jul 27 11:02:51 2005 +0000
+++ b/gui/graph_displayer_canvas-node.cc	Wed Jul 27 11:19:35 2005 +0000
@@ -149,37 +149,11 @@
 	    {
 	      nodemap_to_edit=mapname;
 	      double number=(*actual_map)[i];
-	      int length=1;
-	      //if number is smaller than one, length would be negative, or invalid
-	      if(number>=1)
-		{
-		  length=(int)(floor(log(number)/log(10)))+1;
-		}
-	      int maxpos=(int)(pow(10,length-1));
-	      int strl=length+1+RANGE;
-	      char * str=new char[strl];
-	      str[length]='.';
-	      str[strl]='\0';
-      
-	      for(int j=0;j<strl;j++)
-		{
-		  if(j!=length)
-		    {
-//  		      std::cout << (number) << "-" << (int)number << "=" << (number)-(int)number << std::endl;
-		      if((number-(int)number)>ALMOST_ONE)
-			{
-// 			  std::cout<<"rounding: " <<number<<std::endl;
-			  number=round(number);
-			}
- 		      int digit=(int)(number/maxpos);
-// 		      std::cout << number << "/" << maxpos << "=" << digit << std::endl;
-		      str[j]=(digit+'0');
-		      number-=digit*maxpos;
-		      number*=10;
-		    }
-		}
-      
-	      nodetextmap[i]->property_text().set_value(str);
+
+	      std::ostringstream ostr;
+	      ostr << number;
+	      
+      	      nodetextmap[i]->property_text().set_value(ostr.str());
 	    }
 	  else
 	    {
@@ -193,34 +167,11 @@
       if(mapname!="Default")
 	{
 	  double number=(*actual_map)[node];
-	  int length=1;
-	  //if number is smaller than one, length would be negative, or invalid
-	  if(number>=1)
-	    {
-	      length=(int)(floor(log(number)/log(10)))+1;
-	    }
-	  int maxpos=(int)(pow(10,length-1));
-	  int strl=length+1+RANGE;
-	  char * str=new char[strl];
-	  str[length]='.';
-	  str[strl]='\0';
-      
-	  for(int j=0;j<strl;j++)
-	    {
-	      if(j!=length)
-		{
-		  if((number-(int)number)>ALMOST_ONE)
-		    {
-		      number=round(number);
-		    }
-		  int digit=(int)(number/maxpos);
-		  str[j]=(digit+'0');
-		  number-=digit*maxpos;
-		  number*=10;
-		}
-	    }
-      
-	  nodetextmap[node]->property_text().set_value(str);
+
+	  std::ostringstream ostr;
+	  ostr << number;
+	      
+	  nodetextmap[node]->property_text().set_value(ostr.str());
 	}
       else
 	{