private long fpCountChars(Collection<String> c)
long totLength = 0;
for (String s : c)
totLength += s.length();
reports that totLength at the bottom has a constant value of 0, which it does not.
patch fixes pushByLongMath in the case that parm1 and parm2 both don't have constants.