Multiplication seems to work now. At least, with the small number of tests
written so far.