Add new specs and somewhat working implementation of si_mult_long.
Add tests on naive implementation.