static Double findDollarValue(S s) {
  L<S> tok = javaTok(s);
  int i = jfind(tok, "$<int>.<int>");
  if (i >= 0) ret parseDouble(tok.get(i+3) + "." + tok.get(i+7));
  i = jfind(tok, "$<int>");
  if (i >= 0) ret parseDouble(tok.get(i+3));
  null;
}