docs: def get_int(self, key, default=None):
          """
          Same as :meth:`dict.get`, but the value is converted to an int.
          """
          value = self.get(key, default)
          return None if value is None else int(value)