Add real tests for this (in test_mul.py).