K 10 svn:author V 5 joerg K 8 svn:date V 27 1995-11-18T18:05:03.000000Z K 7 svn:log V 193 Fix my own brokeness for the colon operator, when one of the arguments was a valid integer. The actual decision between integer and string is now context-dependant on the operator being used. END