binary arithmetic multiplication