#maxlength is not implemented on FAPI number

Problem/Motivation

In FacetForm.php there are several cases where '#type' => 'number', is used in combination with #maxlength which doesn't seem to be implemented.

See https://api.drupal.org/api/drupal/core%21lib%21Drupal%21Core%21Render%21...

For example:

$form['facet_settings']['weight'] = [
      '#type' => 'number',
      '#title' => $this->t('Weight'),
      '#default_value' => $facet->getWeight(),
      '#description' => $this->t('This weight is used to determine the order of the facets in the URL if pretty paths are used.'),
      '#maxlength' => 4,
      '#required' => TRUE,
    ];

Steps to reproduce

Proposed resolution

Use
#max
and / or #size

Remaining tasks

User interface changes

API changes

Data model changes