docs: def DEFINE_integer(self, name, default, help, constant=False):
      """A helper for defining integer options."""
      self.AddOption(
          type_info.Integer(name=name, default=default, description=help),
          constant=constant)