--- old/src/com/sun/org/apache/xalan/internal/xsltc/runtime/BasisLibrary.java	Sat Jun 15 01:17:13 2013
+++ new/src/com/sun/org/apache/xalan/internal/xsltc/runtime/BasisLibrary.java	Sat Jun 15 01:17:13 2013
@@ -952,7 +952,7 @@
                 return result;
         }
         else {
-            if (!Double.isFinite(d))
+            if (Double.isNaN(d) || Double.isInfinite(d))
                 return(Double.toString(d));
 
             //Convert -0.0 to +0.0 other values remains the same