DistinctOptionInfo wird von Boolean-, Float- und Key-OptionInfo abgedeckt