Binary Arithmetic And Arithmetic Circuits