$bigint + $binint2