Double multiply.
Merge branch 'test' into partial-evaluation