Always normalize bignum results in sexp_mul.