code: def pop_int(self, key: str, default: Any = DEFAULT) -> int:
          
          value = self.pop(key, default)
          if value is None:
              return None
          else:
              return int(value)
docs: Performs a pop and coerces to an int.