Hello, kov_serg, you wrote: _> this finishing to the point of irrationality not seems to you that? By no means. If in language there is an idea of strict typification - it needs to be used everywhere, except unusual cases. _> you also such types want Mozhe PositiveDouble, RangeDouble, MultiRangeDouble, DoubleWithAcceptedValues _> and still such DoubleMeter, FloatTime, LongDoubleMass... I do not want. For that simple reason that the type double is intended for calculations, and the range of its values on determination has no ruptures, except pair uncertainties. And the type enum, on the contrary, on determination is not intended for calculations, and its values are not obliged to be adjacent. As a matter of fact, it is such primitive analog of set with constant capacity 1 of which it is possible to make forcedly sets capacity till 32-64. _> Can not produce is better essence, superfluous entropy, and use on a maximum the available? Available entities are better for using, when they add , safety and efficiency. I would like to have in language some more possibilities for restriction of freedom of the compiler on implicit type conversion, and also steam of tens additional warnings.