docs: def DEFINE_float(self, name, default, help, constant=False):
      """A helper for defining float options."""
      self.AddOption(
          type_info.Float(name=name, default=default, description=help),
          constant=constant)