$bigint += $binint2