8.2.4 Binary Multiplication