Questionable conversion proposition in Spice3.Internal.MOS2

[beutlich]

When trying to remove the obsolete variables icqmGB, icqmGS, icqmGD, vDS, qm and cc_obsolete from Modelica.Electrical.Spice3.Internal.MOS2 I stumbled accross the following comment

ModelicaStandardLibrary/Modelica/Electrical/Spice3.mo

Lines 4601 to 4606 in 58a9d22

	//--------------------------------------------------------------------------------------
	//need to be Boolean instead of integer, will be changed with the next Modelica version
	//via converting script
	parameter Integer OFF = 0
	"Optional initial condition: 0 - IC not used, 1 - IC used, not implemented yet";
	//--------------------------------------------------------------------------------------

What exactly is the conversion proposition? I believe it is impossible to convert only the type of OFF from Integer to Boolean.

[beutlich]

We simply could add min/max attributes and avoid the whole conversion hassle (since it also is not implemented yet).

parameter Integer OFF(min=0, max=1) = 0
  "Optional initial condition: 0 - IC not used, 1 - IC used, not implemented yet";