Patch from Lorenzo for better handling of non-normalized bignums.
Always normalize bignum results in sexp_mul.