bigint: deduplicated binary operators