Mul nonalloc

Fixes #807