add @:op(A == B) for (BigInt, BigInt)
add @:op(A == B) @:commutative for (BigInt, Int)