IDL43 — Behavior of default union member not properly specified

The spec clearly specifies that when a union has an explicit default member, then this member should be chosen in its default constructor. When this is not the case, it would pick the first available case that is listed for its first available member.
However, it makes sense that if there is an implicit default member, then it is picked by the default constructor for the union.
Finally, it should be stated that you cannot overrule in any way what member the default constructor of a union will pick by using the @default annotation on any specific member,