Some more tests for multiplication.
Adds intnorm. Zero is now represented as zero-width number. Refactors tests.