code: public void
  addAlias(int val, String str) {
  	check(val);
  	Integer value = toInteger(val);
  	str = sanitize(str);
  	strings.put(str, value);
  }
docs: Defines an additional text representation of a numeric value.  This will
  be used by getValue(), but not getText().
  @param val The numeric value
  @param string The text string