Such code doesn't fail, but BigInt breaks the convention by

if (other is BigInt) compareTo(other) == 0 else error("Can't compare KBigInteger to a different type")