393394395396397398399400401402403
} catch (NumberFormatException nFE0) { try { double argDouble = Double.parseDouble(token); tmp = new TokenConstantDouble(argDouble); } catch (NumberFormatException nFE1) { char c = token.charAt(0);