The parser thought that the string "23..24" should be split like:

"23.", ".24".  I think this will fix it.

Rev: lib/modules/Parser.pmod/Pike.pmod:1.5

lib/modules/Parser.pmod/Pike.pmod

@@ -62,10 +62,17 @@ array(string) split(string data)
 
       case '.':
         if(data[start..start+2]=="...")
+	{
+          pos+=3;
+	  break;
+	}
+        if(data[start..start+1]=="..")
         {
           pos+=2;
           break;
         }
+        pos++;
+        break;
 
       case '0'..'9':
 	if(data[pos]=='0' && (data[pos+1]=='x' || data[pos+1]=='X'))
@@ -86,7 +93,7 @@ array(string) split(string data)
 	  break;
 	}
 	while(data[pos]>='0' && data[pos]<='9') pos++;
-	if(data[pos]=='.')
+        if(data[pos]=='.' && data[pos+1]>='0' && data[pos+1]<='9')
 	{
 	  pos++;
 	  while(data[pos]>='0' && data[pos]<='9') pos++;