The casting occurs for both operands that have same type, in narrower type space, with non trivial rules, behind your back, is really acid level of a surprise.

The casting occurs for both operands that have same type, in narrower type space, with non trivial rules, behind your back, is really acid level of a surprise. The kind that would make the removal of the "==" operator reasonable.