- -- If the type of the left operand is universal_integer and that of the
- -- right operand is smaller, then we do not resolve the operands to the
- -- tested type but to universal_integer instead. If not conforming to
- -- the letter, it's conforming to the spirit of the specification of
- -- membership tests, which are typically used to guard an operation and
+ -- If the left operand is of a universal numeric type and the right
+ -- operand is not, we do not resolve the operands to the tested type
+ -- but to the universal type instead. If not conforming to the letter,
+ -- it's conforming to the spirit of the specification of membership
+ -- tests, which are typically used to guard a specific operation and