param.JasFunction.toString: Change output for infinities to Infinity/-Infinity

Was Inf and MInf before; making it consistent with the other engines.

prism/src/param/JasFunction.java

@@ -84,9 +84,9 @@ final class JasFunction extends Function {
 		if (isNaN()) {
 			return "NaN";
 		} else if (isInf()) {
-			return "Inf";
+			return "Infinity";
 		} else if (isMInf()) {
-			return "MInf";
+			return "-Infinity";
 		}
 		return jas.toString();
 	}