docs: def insert_text(self, s, from_undo=False):
          """Natural numbers only."""
          return super().insert_text(
              ''.join(c for c in s if c in '0123456789'),
              from_undo
          )