The discriminated type can contain values of different types but does not attempt conversion between them,
is held strictly as an int
and is not implicitly convertible either to "5"
or to 5.0.
This indifference to interpretation but awareness of type effectively allows safe, generic containers of single values, with no scope for surprises from ambiguous conversions.