Support feature id as a number

Capturing from RFC

If a Feature has a commonly used identifier, that identifier SHOULD be included as a member of the Feature object with the name "id", and the value of this member is either a JSON string or number.

On a public API level we only expose String.java:

  /**
   * A feature may have a commonly used identifier which is either a unique String or number.
   *
   * @return a String containing this features unique identification or null if one wasn't given
   *   during creation.
   * @since 1.0.0
   */
  @Nullable
  public abstract String id();

Beginne mit dem Lesen der öffentlichen String.java-API und des verlinkten Abschnitts in RFC 7946 zu Feature identifiers. Verfolge, wo der Feature-id-Typ definiert und durch Tests abgedeckt ist, und identifiziere anschließend die erforderlichen API-Änderungen sowohl für JSON-Strings als auch für Zahlen. Erledigt bedeutet, dass numerische Identifikatoren unterstützt werden, ohne die bestehende Unterstützung für Strings zu verlieren.